WordNet mapping browser : Welcome guest : log in
[
Home |
Graph |
]
KB:
SUMO
Language:
ChineseLanguage ChinesePinyinWriting ChineseSimplifiedWriting ChineseTraditionalLanguage EnglishLanguage FrenchLanguage GermanLanguage HerbaceousPlant Hindi ItalianLanguage JapaneseLanguage PortugueseLanguage SpanishLanguage SwedishLanguage WoodyPlant cb cz de hi ro sv tg
Formal Language:
OWL SUO-KIF TPTP traditionalLogic

SUMO Search Tool
This tool relates English terms to concepts from the
SUMO
ontology by means of mappings to
WordNet synsets.

Noun Synset: 105846932

Words: formula, rule
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

Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software
produced by Articulate Software and its partners