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

Gloss: a formal series of statements showing that if one thing is true something else necessarily follows from it

hypernym 106648724 - argument, statement
domain topic 106163751 - logic
domain topic 106000644 - math, mathematics, maths
hyponym 106647864 - mathematical_proof
hyponym 106647960 - logical_proof
hyponym 106648046 - demonstration, monstrance

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation