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

Gloss: (mathematics) a standard procedure for solving a class of mathematical problems; "he determined the upper bound with Descartes' rule of signs"; "he gave us a general formula for attacking polynomials"

hypernym 101023820 - procedure, process
domain topic 106000644 - math, mathematics, maths
derivationally related 201633173 - formulate
derivationally related 200981083 - formularise, formularize
hyponym 105847320 - metarule
hyponym 105847438 - algorithm, algorithmic_program, algorithmic_rule
hyponym 105847956 - heuristic, heuristic_program, heuristic_rule
hyponym 105848357 - recursion

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation