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 or incorrect

hypernym 200667424 - confute, disprove
derivationally related 110510546 - confuter, disprover, rebutter, refuter
derivationally related 105826469 - disproof, falsification, refutation
derivationally related 100155298 - disproof, falsification, falsifying, refutal, refutation
derivationally related 110510546 - confuter, disprover, rebutter, refuter

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation