WordNet mapping browser : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguaEnglishLanguageFrenchLanguageGermanLanguageHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguagecbczdehirosvtg   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: unable to be both true at the same time

similar to 300508192 - incompatible
derivationally related 113857486 - contradictoriness
derivationally related 202663141 - belie, contradict, negate
derivationally related 200823436 - contradict, contravene, negate

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation