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

Gloss: a group of symbols that make a mathematical statement

hypernym 106732169 - mathematical_statement
domain topic 106000644 - math, mathematics, maths
derivationally related 200981083 - formularise, formularize
hyponym 106286230 - sentential_function
hyponym 106295113 - primitive
hyponym 113789849 - exponential_expression

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation