WordNet mapping browser : Welcome guest : log in
[
Home | 
Graph | 
]
KB:
SUMO
Language:
BeaufortNumber0 BeaufortNumber1 BeaufortNumber10 BeaufortNumber11 BeaufortNumber12 BeaufortNumber2 BeaufortNumber3 BeaufortNumber4 BeaufortNumber5 BeaufortNumber6 BeaufortNumber7 BeaufortNumber8 BeaufortNumber9 BeaufortNumberAttribute ChineseLanguage ChineseLanguge ChineseTraditionalLanguage ChinesehLanguage Chineselanguage EnglishLanguage Englishlanguage FrenchLanguage GermanLanguage JapaneseLanguage SpanishLanguage SpeedScaleAttribute SwedishLanguage speedScaleAttributeMinMax windDrivenMotion
Formal Language:
OWL SUO-KIF TPTP traditionalLogic
SUMO Search Tool
This tool relates English terms to concepts from the
SUMO
ontology by means of mappings to
WordNet synsets.
Adjective Synset: 300508750
Words: contradictory, mutually_exclusive
Gloss: unable to be both true at the same time
similar to 300508192 - incompatible
derivationally related 113857486 - contradictoriness
derivationally related 202663141 - belie, contradict, negate
derivationally related 200823436 - contradict, contravene, 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