Matches in LOV for { <http://semanticscience.org/resource/SIO_000220> ?p ?o. }
Showing items 1 to 6 of
6
with 100 items per page.
- SIO_000220 description "Implication is a logical operator that holds between a set T of propositions and a proposition B, when every model (or interpretation or valuation) of T is also a model of B.".
- SIO_000220 identifier "SIO_000220".
- SIO_000220 type Class.
- SIO_000220 isDefinedBy sio.owl.
- SIO_000220 label "implies (->)".
- SIO_000220 subClassOf SIO_000238.