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

Gloss: (logic) a declaration of something self-evident; something that can be assumed as the basis for argument

hypernym 106725877 - declaration
domain topic 106163751 - logic
derivationally related 200931232 - connote, predicate
derivationally related 201017001 - predicate, proclaim
derivationally related 200716758 - posit, postulate

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation