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 (equivalent mapping)

Gloss: reason by deduction; establish by deduction

hypernym 200634472 - conclude, reason, reason_out
domain topic 105664069 - logic, logical_system, system_of_logic
derivationally related 105780718 - derivation
derivationally related 105774129 - deduction, deductive_reasoning, synthesis
derivationally related 105774614 - illation, inference
derivationally related 301296474 - deductive
derivationally related 105774129 - deduction, deductive_reasoning, synthesis
derivationally related 302710294 - deductive
hyponym 200593669 - extrapolate
hyponym 200689205 - surmise
hyponym 200728826 - elicit

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation