WordNet mapping browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

SUMO Search Tool

This tool relates English terms to concepts from the SUMO ontology by means of mappings to WordNet synsets.

English Word: 
Verb Synset: 200666886

Words: contradict, negate

Gloss: prove negative; show to be false

hypernym 200664788 - demonstrate, establish, prove, shew, show
domain topic 105664069 - logic, logical_system, system_of_logic
derivationally related 300075515 - negative
antonym 200665886 - affirm, confirm, corroborate, substantiate, support, sustain
hyponym 200667102 - invalidate, nullify
hyponym 200667424 - confute, disprove

Show OWL translation

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners