enl:Euclidean axiomen
https:| rdf: | type | ontolex:lexical sense |
Ontolex units
| ∴ontolex: | is sense of | |
| ontolex: | is lexicalized sense of |
Other
| rdfs: | label | Euclidean axiom |
∴ fully or partially logically inferred
↓ download data as: .ttl
| rdf: | type | ontolex:lexical sense |
| ∴ontolex: | is sense of | |
| ontolex: | is lexicalized sense of |
| rdfs: | label | Euclidean axiom |
∴ fully or partially logically inferred
↓ download data as: .ttl