enl:provableenhttps://en-word.net/lemma/provable#provable-s-lemmaOntolex unitsontolex:written representationprovableβ download data as: .ttl