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: 
Noun Synset: 106647614

Words: proof

Gloss: a formal series of statements showing that if one thing is true something else necessarily follows from it

hypernym 106648724 - argument, statement
domain topic 106163751 - logic
domain topic 106000644 - math, mathematics, maths
hyponym 106647864 - mathematical_proof
hyponym 106647960 - logical_proof
hyponym 106648046 - demonstration, monstrance

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