Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gulf

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


(documentation Gulf EnglishLanguage "Gulf is the class of extensions of a Sea or Ocean that reach into a land mass or are partially enclosed by a LandArea. A Gulf is typically larger than a Bay.") Geography.kif 5125-5127
(externalImage Gulf "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png") pictureList.kif 859-859
(subclass Gulf BodyOfWater) Geography.kif 5122-5122 Gulf is a subclass of body of water
(subclass Gulf SaltWaterArea) Geography.kif 5123-5123 Gulf is a subclass of salt water area

appearance as argument number 2
-------------------------


(instance GulfOfAden Gulf) Geography.kif 5165-5165 Gulf of aden is an instance of gulf
(instance GulfOfMexico Gulf) Geography.kif 5173-5173 Gulf of mexico is an instance of gulf
(instance GulfOfOman Gulf) Geography.kif 5157-5157 Gulf of oman is an instance of gulf
(instance PersianGulf Gulf) Geography.kif 5151-5151 Persian gulf is an instance of gulf
(termFormat ChineseLanguage Gulf "海湾") domainEnglishFormat.kif 27036-27036
(termFormat ChineseTraditionalLanguage Gulf "海灣") domainEnglishFormat.kif 27035-27035
(termFormat EnglishLanguage Gulf "gulf") domainEnglishFormat.kif 27034-27034

antecedent
-------------------------


(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 5145-5149
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))
Geography.kif 5129-5136
(=>
    (instance ?GULF Gulf)
    (exists (?WATER)
        (and
            (instance ?WATER SaltWaterArea)
            (properPart ?GULF ?WATER))))
Geography.kif 5138-5143


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

Show without tree


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