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

Words: logical_relation

Gloss: a relation between propositions

hypernym 100031921 - relation
domain topic 106163751 - logic
hyponym 113783259 - contradictory
hyponym 113783421 - contrary
hyponym 113798491 - transitivity
hyponym 113798814 - reflexiveness, reflexivity
hyponym 113802634 - modality, mode
hyponym 113860281 - conditional_relation, implication, logical_implication

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