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