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

Words: mathematical_statement

Gloss: a statement of a mathematical relation

hypernym 106722453 - statement
domain topic 106000644 - math, mathematics, maths
hyponym 106669864 - equation
hyponym 106731802 - expression, formula
part meronym 106808720 - mathematical_notation

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