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