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

Gloss: a person skilled at symbolic logic

hypernym 109617867 - expert
derivationally related 105664069 - logic, logical_system, system_of_logic
derivationally related 106163751 - logic
derivationally related 105664069 - logic, logical_system, system_of_logic
derivationally related 106163751 - logic
hyponym 110011360 - dialectician
hyponym 110685123 - syllogiser, syllogist, syllogizer
hyponym 110685587 - symbolic_logician
instance hyponym 111084200 - Jevons, William_Stanley_Jevons
instance hyponym 111228298 - Charles_Peirce, Charles_Sanders_Peirce, Peirce
instance hyponym 111250991 - Quine, W._V._Quine, Willard_Van_Orman_Quine
instance hyponym 111274812 - Bertrand_Arthur_William_Russell, Bertrand_Russell, Earl_Russell, Russell
instance hyponym 111362452 - John_Venn, Venn

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation