WordNet mapping browser : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHerbaceousPlantHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguageWoodyPlantcbczdehirosvtg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

SUMO Search Tool

This tool relates English terms to concepts from the SUMO ontology by means of mappings to WordNet synsets.

• SUMO Mappings: Proposition (subsuming mapping)

Gloss: (logic) a statement that is necessarily false; "the statement `he is brave and he is not brave' is a contradiction"

hypernym 106756407 - falsehood, falsity, untruth
domain topic 106163751 - logic
hyponym 106724437 - antinomy
hyponym 106724559 - paradox

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation