WordNet mapping browser : Welcome guest : log in
[
Home |
Graph |
]
KB:
SUMO
Language:
ChineseLanguage ChinesePinyinWriting ChineseSimplifiedWriting ChineseTraditionalLanguage EnglishLanguage FrenchLanguage GermanLanguage HerbaceousPlant Hindi ItalianLanguage JapaneseLanguage PortugueseLanguage SpanishLanguage SwedishLanguage WoodyPlant cb cz de hi ro sv tg
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.

Noun Synset: 113798491

SUMO Mappings: Abstract (subsuming mapping)
Words: transitivity
Gloss: (logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and third

hypernym 113783038 - logical_relation
hypernym 113783581 - mathematical_relation
domain topic 106163751 - logic
domain topic 106000644 - math, mathematics, maths

Show Open Multilingual Wordnet links

Verb Frames

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