 |
 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.
Noun Synset: 106751572- SUMO Mappings: Sentence (subsuming mapping)
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