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

Gloss: establish the validity of something, as by an example, explanation or experiment; "The experiment demonstrated the instability of the compound"; "The mathematician showed the validity of the conjecture"

hypernym 200665886 - affirm, confirm, corroborate, substantiate, support, sustain
derivationally related 105826291 - establishment, validation
derivationally related 301323962 - demonstrative, illustrative
antonym 200667424 - confute, disprove
hyponym 200665235 - prove_oneself
hyponym 200665630 - prove
hyponym 200666886 - contradict, negate
hyponym 201801080 - stultify

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation