<http://lila-erc.eu/data/lexicalResources/LatinWordNet/id/LexicalConcept/06660705-n> <http://www.w3.org/2004/02/skos/core#definition> "proof of a logical theorem" .
<http://lila-erc.eu/data/lexicalResources/LatinWordNet/id/LexicalConcept/06660705-n> <http://www.w3.org/2000/01/rdf-schema#label> "Wordnet Synset 06660705-n" .
<http://lila-erc.eu/data/lexicalResources/LatinWordNet/id/LexicalConcept/06660705-n> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/ns/lemon/ontolex#LexicalConcept> .