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

Gloss: the doctrine that formal structure rather than content is what should be represented

hypernym 105943300 - doctrine, ism, philosophical_system, philosophy, school_of_thought
derivationally related 302730304 - formalised, formalistic, formalized
antonym 105962602 - imitation

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation