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

This tool relates English terms to concepts from the
SUMO
ontology by means of mappings to
WordNet synsets.
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