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