Wordnet Synset 06660705-n
http://lila-erc.eu/data/lexicalResources/LatinWordNet/id/LexicalConcept/06660705-n an entity of type: LexicalConcept
proof of a logical theorem
Wordnet Synset 06660705-n