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: the cognitive process of establishing a valid proof

hypernym 105824739 - cogent_evidence, proof
derivationally related 201012561 - corroborate, validate
derivationally related 200667224 - validate
derivationally related 200664788 - demonstrate, establish, prove, shew, show

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation