WordNet mapping browser : Welcome guest : log in
[
Home | 
Graph | 
]
KB:
SUMO
Language:
ChineseLanguage ChinesePinyinWriting ChineseSimplifiedWriting ChineseTraditionalLanguage EnglishLanguage FrenchLanguage GermanLanguage HerbaceousPlant Hindi ItalianLanguage JapaneseLanguage PortugueseLanguage SpanishLanguage SwedishLanguage WoodyPlant cb cz de hi ro sv tg
Formal Language:
OWL SUO-KIF TPTP traditionalLogic
SUMO Search Tool
This tool relates English terms to concepts from the
SUMO
ontology by means of mappings to
WordNet synsets.
According to WordNet, the verb "prove" has 9 sense(s).
202633881 be shown or be found to be; "She proved to be right"; "The medicine turned out to save her life"; "She turned up HIV positive".
201015244 provide evidence for; "The blood test showed that he was the father"; "Her behavior testified to her incompetence".
SUMO Mappings: Process (subsuming mapping)
201975587 cause to puff up with a leaven; "unleavened bread".
SUMO Mappings: Cooking (subsuming mapping)
201983134 increase in volume; "the dough rose slowly in the warm room".
200665630 prove formally; demonstrate by a mathematical, formal proof.
200665771 obtain probate of; "prove a will".
200664788 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".
202531625 put to the test, as for its quality, or give experimental use to; "This approach has been tried with good results"; "Test this recipe".
201745052 take a trial impression of.
Explore the word prove on the WordNet web site.
Show Open Multilingual Wordnet links
Verb Frames
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