WordNet mapping browser : Welcome guest : log in
ChineseLanguage ChineseTraditionalLanguage EngliahLanguage EnglishLangauge EnglishLanguage FrenchLanguage GermanLanguage JapaneseLanguage SpanishLanguage SwedishLanguage
OWL SUO-KIF TPTP traditionalLogic
SUMO Search Tool
This tool relates English terms to concepts from the
ontology by means of mappings to
According to WordNet, the noun "formula" has 7 sense(s).
106816935 a representation of a substance using symbols for its constituent elements.
106788785 directions for making something.
106731802 a group of symbols that make a mathematical statement.
107845087 a liquid food for infants.
SUMO Mappings: Beverage (subsuming mapping)
105846932 (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".
106732013 a conventionalized statement expressing some fundamental principle.
SUMO Mappings: Text (subsuming mapping)
105667613 something regarded as a normative example; "the convention of not naming the main character"; "violence is the rule not the exception"; "his formula for impressing visitors".
Explore the word formula on the WordNet web site.
Show Open Multilingual Wordnet links
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