WordNet mapping browser : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHerbaceousPlantHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguageWoodyPlantcbczdehirosvtg   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: Proposition (subsuming mapping)

Gloss: the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)

hypernym 106750804 - proposition
part holonym 105779116 - syllogism
part meronym 106754658 - major_term
part meronym 106754816 - minor_term

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation