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 5379-5381
(externalImage Gulf "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png") pictureList.kif 859-859
(subclass Gulf BodyOfWater) Geography.kif 5376-5376 GulfBodyOfWatersubclass では
(subclass Gulf SaltWaterArea) Geography.kif 5377-5377 Gulf塩水地域subclass では

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


(instance GulfOfAden Gulf) Geography.kif 5419-5419 GulfOfAdenGulfinstance では
(instance GulfOfGuinea Gulf) Geography.kif 5433-5433 GulfOfGuineaGulfinstance では
(instance GulfOfLion Gulf) Geography.kif 5441-5441 GulfOfLionGulfinstance では
(instance GulfOfMexico Gulf) Geography.kif 5427-5427 GulfOfMexicoGulfinstance では
(instance GulfOfOman Gulf) Geography.kif 5411-5411 GulfOfOmanGulfinstance では
(instance PersianGulf Gulf) Geography.kif 5405-5405 PersianGulfGulfinstance では
(termFormat ChineseLanguage Gulf "海湾") domainEnglishFormat.kif 27047-27047 PersianGulfGulfinstance では
(termFormat ChineseTraditionalLanguage Gulf "海灣") domainEnglishFormat.kif 27046-27046 PersianGulfGulfinstance では
(termFormat EnglishLanguage Gulf "gulf") domainEnglishFormat.kif 27045-27045 PersianGulfGulfinstance では

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


(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 5399-5403
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))
Geography.kif 5383-5390
(=>
    (instance ?GULF Gulf)
    (exists (?WATER)
        (and
            (instance ?WATER SaltWaterArea)
            (properPart ?GULF ?WATER))))
Geography.kif 5392-5397


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