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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gulf
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 5023-5025
(externalImage Gulf "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png") pictureList.kif 860-860
(subclass Gulf BodyOfWater) Geography.kif 5020-5020 海湾水体subclass
(subclass Gulf SaltWaterArea) Geography.kif 5021-5021 海湾盐水区subclass

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


(instance GulfOfAden Gulf) Geography.kif 5063-5063 腺嘌呤海湾instance
(instance GulfOfMexico Gulf) Geography.kif 5071-5071 GulfOfMexico海湾instance
(instance GulfOfOman Gulf) Geography.kif 5055-5055 阿曼湾海湾instance
(instance PersianGulf Gulf) Geography.kif 5049-5049 波斯湾海湾instance
(termFormat ChineseLanguage Gulf "海湾") domainEnglishFormat.kif 27027-27027
(termFormat ChineseTraditionalLanguage Gulf "海灣") domainEnglishFormat.kif 27026-27026
(termFormat EnglishLanguage Gulf "gulf") domainEnglishFormat.kif 27025-27025

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


(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 5043-5047
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))
Geography.kif 5027-5034
(=>
    (instance ?GULF Gulf)
    (exists (?WATER)
        (and
            (instance ?WATER SaltWaterArea)
            (properPart ?GULF ?WATER))))
Geography.kif 5036-5041


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