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


(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 5194-5196
(externalImage Gulf "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png") pictureList.kif 859-859
(subclass Gulf BodyOfWater) Geography.kif 5191-5191 Gulf is a subclass of body of water
(subclass Gulf SaltWaterArea) Geography.kif 5192-5192 Gulf is a subclass of salt water area

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


(instance GulfOfAden Gulf) Geography.kif 5234-5234 Gulf of aden is an instance of gulf
(instance GulfOfMexico Gulf) Geography.kif 5242-5242 Gulf of mexico is an instance of gulf
(instance GulfOfOman Gulf) Geography.kif 5226-5226 Gulf of oman is an instance of gulf
(instance PersianGulf Gulf) Geography.kif 5220-5220 Persian gulf is an instance of gulf
(termFormat ChineseLanguage Gulf "海湾") domainEnglishFormat.kif 27064-27064 Persian gulf is an instance of gulf
(termFormat ChineseTraditionalLanguage Gulf "海灣") domainEnglishFormat.kif 27063-27063 Persian gulf is an instance of gulf
(termFormat EnglishLanguage Gulf "gulf") domainEnglishFormat.kif 27062-27062 Persian gulf is an instance of gulf

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


(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))		 Geography.kif 5214-5218
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))		 Geography.kif 5198-5205
(=>
    (instance ?GULF Gulf)
    (exists (?WATER)
        (and
            (instance ?WATER SaltWaterArea)
            (properPart ?GULF ?WATER))))		 Geography.kif 5207-5212


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