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) |
Cross-lingual relations
| ∴dns: | linked concept |
Other
| Source | http: |
∴ fully or partially logically inferred