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

Words: negation

Gloss: (logic) a proposition that is true if and only if another proposition is false

hypernym 106750804 - proposition
domain topic 106163751 - logic
derivationally related 202663141 - belie, contradict, negate

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