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