Wordnet Synset 07105577-n
http://lila-erc.eu/data/lexicalResources/LatinWordNet/id/LexicalConcept/07105577-n an entity of type: LexicalConcept
(logic) a statement that is necessarily true
Wordnet Synset 07105577-n