ili:i109762
http://globalwordnet.org| rdf: | type | Concept |
| skos: | definition⊑ | a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false |
External links
| ∴dns: | linked concept | en:conditional relation • implication • logical implication |
Other
| Source | http://wordnet-rdf.princeton.edu |