WordNet mapping browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

SUMO Search Tool

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

English Word: 
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