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.

106753550 (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident.

• SUMO Mappings: Sentence (subsuming mapping)

• SUMO Mappings: Text (subsuming mapping)

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation