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

Words: existential_operator, existential_quantifier

Gloss: a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

hypernym 106302542 - logical_quantifier, quantifier

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