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 4803-4805
(externalImage Gulf "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png") pictureList.kif 860-860 externalImage Gulf and "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png"
(subclass Gulf BodyOfWater) Geography.kif 4800-4800 subclass Gulf and BodyOfWater
(subclass Gulf SaltWaterArea) Geography.kif 4801-4801 subclass Gulf and SaltWaterArea

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


(instance GulfOfAden Gulf) Geography.kif 4843-4843 instance GulfOfAden and Gulf
(instance GulfOfMexico Gulf) Geography.kif 4851-4851 instance GulfOfMexico and Gulf
(instance GulfOfOman Gulf) Geography.kif 4835-4835 instance GulfOfOman and Gulf
(instance PersianGulf Gulf) Geography.kif 4829-4829 instance PersianGulf and Gulf
(termFormat ChineseLanguage Gulf "海湾") domainEnglishFormat.kif 26965-26965 termFormat ChineseLanguage, Gulf and "海湾"
(termFormat ChineseTraditionalLanguage Gulf "海灣") domainEnglishFormat.kif 26964-26964 termFormat ChineseTraditionalLanguage, Gulf and "海灣"
(termFormat EnglishLanguage Gulf "gulf") domainEnglishFormat.kif 26963-26963 termFormat EnglishLanguage, Gulf and "gulf"

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


(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 4823-4827
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))
Geography.kif 4807-4814
(=>
    (instance ?GULF Gulf)
    (exists (?WATER)
        (and
            (instance ?WATER SaltWaterArea)
            (properPart ?GULF ?WATER))))
Geography.kif 4816-4821


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners