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: Sentence (subsuming mapping)

Gloss: (logic) a statement that affirms or denies something and is either true or false

hypernym 106722453 - statement
domain topic 106163751 - logic
hyponym 106751142 - particular, particular_proposition
hyponym 106751367 - universal, universal_proposition
hyponym 106751572 - negation
hyponym 106751742 - converse
hyponym 106751833 - lemma
part meronym 106751974 - term
hyponym 106752293 - theorem
hyponym 106753030 - conclusion, ratiocination
hyponym 106753299 - posit, postulate
hyponym 106753550 - axiom

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation