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: Reasoning (subsuming mapping)

Gloss: deductive reasoning in which a conclusion is derived from two premises

hypernym 105774129 - deduction, deductive_reasoning, synthesis
derivationally related 302910644 - syllogistic
derivationally related 110685123 - syllogiser, syllogist, syllogizer
derivationally related 200653449 - syllogise, syllogize
derivationally related 200653449 - syllogise, syllogize
part meronym 106753030 - conclusion, ratiocination
part meronym 106754184 - major_premise, major_premiss
part meronym 106754415 - minor_premise, minor_premiss, subsumption

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation