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

Gloss: a system of reasoning

hypernym 105661996 - system, system_of_rules
derivationally related 110269785 - logician, logistician
derivationally related 110269785 - logician, logistician
hyponym 105664344 - Aristotelian_logic
hyponym 106164665 - formal_logic, mathematical_logic, symbolic_logic
member topic 200593669 - extrapolate
member topic 200636441 - induce
member topic 200636574 - deduce, deduct, derive, infer
member topic 200666886 - contradict, negate
member topic 200728826 - elicit

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation