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

Words: conditional_relation, implication, logical_implication

Gloss: a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

hypernym 113783038 - logical_relation
derivationally related 303094239 - implicational
derivationally related 200930599 - imply
derivationally related 202634808 - entail, implicate

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