ili:i68955
http:| rdf: | type | |
| skos: | definition | a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) |
Semantic relations
| ∴dns: | linked concept |
Other
| Source | http: |
∴ fully or partially logically inferred
↓ download data as: .ttl