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

Gloss: the act of making formal (as by stating formal rules governing classes of expressions)

hypernym 101009190 - rationalisation, rationalization, systematisation, systematization
derivationally related 202478701 - formalise, formalize, validate
derivationally related 202478936 - formalise, formalize
derivationally related 202478701 - formalise, formalize, validate
derivationally related 202478936 - formalise, formalize

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation