enl:logical proofenhttps://en-word.net/lemma/logical_proof#logical_proof-n-lemmaOntolex unitsontolex:written representationlogical proof↓ download data as: .ttl