enl:theoremenhttps://en-word.net/lemma/theorem#theorem-n-lemmaOntolex unitsontolex:written representationtheoremβ download data as: .ttl