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: (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
hypernym 106750804 - proposition
domain topic 106163751 - logic
derivationally related 301618895 - axiomatic, self-evident, taken_for_granted
derivationally related 302653385 - axiomatic, axiomatical, postulational
derivationally related 302653385 - axiomatic, axiomatical, postulational
hyponym 106005692 - Euclid's_axiom, Euclid's_postulate, Euclidean_axiom
Show Open Multilingual Wordnet links
Verb Frames