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: prove to be false; "The physicist disproved his colleagues' theories"

hypernym 200666886 - contradict, negate
derivationally related 300721371 - confutable, confutative, questionable, refutable
derivationally related 110510546 - confuter, disprover, rebutter, refuter
derivationally related 107201105 - confutation
derivationally related 105826722 - confutation
derivationally related 110510546 - confuter, disprover, rebutter, refuter
antonym 200664788 - demonstrate, establish, prove, shew, show
hyponym 200665335 - explode
hyponym 200667747 - controvert, rebut, refute
hyponym 200667942 - falsify

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation