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: Mathematics (instance mapping)

Gloss: the branch of pure mathematics dealing with the theory of numerical calculations

hypernym 106003682 - pure_mathematics
domain topic 106000644 - math, mathematics, maths
derivationally related 303044869 - arithmetic, arithmetical
derivationally related 303044869 - arithmetic, arithmetical
derivationally related 109808351 - arithmetician
hyponym 106004599 - algorism
member topic 200639478 - miscalculate, misestimate
member topic 200639693 - recalculate
member topic 200639998 - average, average_out
member topic 200640136 - square
member topic 200640262 - cube
member topic 200640385 - factor, factor_in, factor_out
member topic 200640828 - add, add_together
member topic 200641138 - foot, foot_up
member topic 200641252 - deduct, subtract, take_off
member topic 200641672 - multiply
member topic 200641929 - raise
member topic 200642098 - divide, fraction
member topic 200642357 - halve
member topic 200642498 - quarter
member topic 202745332 - make
member topic 202747287 - contain

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation