ili:i109762
http:| rdf: | type | |
| 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 |
Semantic relations
| ∴dns: | linked concept |
Other
| Source | http: |
∴ fully or partially logically inferred
↓ download data as: .ttl