WordNet mapping browser : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  BeaufortNumber0BeaufortNumber1BeaufortNumber10BeaufortNumber11BeaufortNumber12BeaufortNumber2BeaufortNumber3BeaufortNumber4BeaufortNumber5BeaufortNumber6BeaufortNumber7BeaufortNumber8BeaufortNumber9BeaufortNumberAttributeChineseLanguageChineseLangugeChineseTraditionalLanguageChinesehLanguageChineselanguageEnglishLanguageEnglishlanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSpeedScaleAttributeSwedishLanguagespeedScaleAttributeMinMaxwindDrivenMotion   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: Sentence (subsuming mapping)

Gloss: (logic) a proposition that is true if and only if another proposition is false

hypernym 106750804 - proposition
domain topic 106163751 - logic
derivationally related 202663141 - belie, contradict, negate

Show OWL translation