ili:i71412
http://globalwordnet.org| rdf: | type | Concept |
| skos: | definition⊑ | a formal series of statements showing that if one thing is true something else necessarily follows from it |
External links
| ∴dns: | linked concept | en:proof |
Other
| Source | http://wordnet-rdf.princeton.edu |