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 system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
hypernym 106164665 - formal_logic, mathematical_logic, symbolic_logic
part meronym 106165623 - quantification
Show Open Multilingual Wordnet links
Verb Frames