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

Gloss: the branches of mathematics that study and develop the principles of mathematics for their own sake rather than for their immediate usefulness

hypernym 106000644 - math, mathematics, maths
hyponym 106004067 - arithmetic
hyponym 106004685 - geometry
hyponym 106007642 - numerical_analysis
hyponym 106012513 - trig, trigonometry
hyponym 106012726 - algebra
hyponym 106013741 - calculus, infinitesimal_calculus
hyponym 106016121 - set_theory
hyponym 106017193 - group_theory
hyponym 106017594 - analysis_situs, topology
hyponym 106017895 - metamathematics

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation