ili:i109340
http:| rdf: | type | |
| skos: | definition | two propositions are contradictories if both cannot be true (or both cannot be false) at the same time |
Cross-lingual relations
| ∴dns: | linked concept |
Other
| Source | http: |
∴ fully or partially logically inferred