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: 106731802

Words: expression, formula

Gloss: a group of symbols that make a mathematical statement

hypernym 106732169 - mathematical_statement
domain topic 106000644 - math, mathematics, maths
derivationally related 200981083 - formularise, formularize
hyponym 106286230 - sentential_function
hyponym 106295113 - primitive
hyponym 113789849 - exponential_expression

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