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

Gloss: (mathematics) the sum of a finite or infinite sequence of expressions

hypernym 105861855 - multinomial, polynomial
domain topic 106000644 - math, mathematics, maths
hyponym 105862970 - power_series
hyponym 105863106 - convergence, convergency
hyponym 105863302 - divergence, divergency
hyponym 105863480 - geometric_series
hyponym 105863583 - Fourier_series
hyponym 113790004 - exponential_series

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation