Gulf - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Gulf

Gulf(gulf)

Bay_of_Campeche, Bay_of_Ob, Carpentaria, Golfo_de_Campeche, Gulf_of_Aden, Gulf_of_Aegina, Gulf_of_Akaba, Gulf_of_Alaska, Gulf_of_Antalya, Gulf_of_Aqaba, Gulf_of_Bothnia, Gulf_of_California, Gulf_of_Campeche, Gulf_of_Carpentaria, Gulf_of_Corinth, Gulf_of_Finland, Gulf_of_Guinea, Gulf_of_Lepanto, Gulf_of_Martaban, Gulf_of_Ob, Gulf_of_Oman, Gulf_of_Riga, Gulf_of_Saint_Lawrence, Gulf_of_Siam, Gulf_of_Sidra, Gulf_of_St._Lawrence, Gulf_of_Suez, Gulf_of_Tehuantepec, Gulf_of_Thailand, Gulf_of_Venice, Saronic_Gulf, Sea_of_Cortes, gulf

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5125-5127
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 859-859
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5122-5122	Gulf is a subclass of body of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5123-5123	Gulf is a subclass of salt water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5165-5165	Gulf of aden is an instance of gulf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5173-5173	Gulf of mexico is an instance of gulf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5157-5157	Gulf of oman is an instance of gulf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5151-5151	Persian gulf is an instance of gulf
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27036-27036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27035-27035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27034-27034

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5145-5149	If an object is an instance of gulf and another object is an instance of bay, then the object is larger than the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5129-5136	If an object is an instance of gulf, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5138-5143	If an object is an instance of gulf, then there exists another object such that the other object is an instance of salt water area and the object is a proper part of the other object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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