WordNet mapping browser : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguagecbczdehirosvtg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

SUMO Search Tool

This tool relates English terms to concepts from the SUMO ontology by means of mappings to WordNet synsets.

• SUMO Mappings: Abstract (equivalent mapping)

Gloss: a relation between propositions

hypernym 100031921 - relation
domain topic 106163751 - logic
hyponym 113783259 - contradictory
hyponym 113783421 - contrary
hyponym 113798491 - transitivity
hyponym 113798814 - reflexiveness, reflexivity
hyponym 113802634 - modality, mode
hyponym 113860281 - conditional_relation, implication, logical_implication

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation