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: 106753550

Words: axiom

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 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