enl:proofenhttps://en-word.net/lemma/proof#proof-s-lemmaOntolex unitsontolex:written representationproofβ download data as: .ttl