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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ocean
Ocean

appearance as argument number 1
-------------------------


(documentation Ocean EnglishLanguage "Ocean is the class containing the oceans that are the major subdivisions of the WorldOcean. According to the International Hydrographic Association, there are five oceans: the AtlanticOcean, PacificOcean, IndianOcean, SouthernOcean, and ArcticOcean. Note: The largest oceans, the Atlantic and Pacific, are subdivided into Northern and Southern regions, but those regions are not separate Oceans.") Geography.kif 4271-4277
(externalImage Ocean "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Indianocean.PNG") pictureList.kif 906-906 externalImage Ocean and "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Indianocean.PNG"
(subclass Ocean BodyOfWater) Geography.kif 4269-4269 subclass Ocean and BodyOfWater
(subclass Ocean SaltWaterArea) Geography.kif 4268-4268 subclass Ocean and SaltWaterArea

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


(instance ArcticOcean Ocean) Geography.kif 4364-4364 instance ArcticOcean and Ocean
(instance AtlanticOcean Ocean) Geography.kif 4290-4290 instance AtlanticOcean and Ocean
(instance IndianOcean Ocean) Geography.kif 4355-4355 instance IndianOcean and Ocean
(instance PacificOcean Ocean) Geography.kif 4322-4322 instance PacificOcean and Ocean
(instance SouthernOcean Ocean) Geography.kif 4379-4379 instance SouthernOcean and Ocean
(termFormat ChineseLanguage Ocean "海洋") domainEnglishFormat.kif 41545-41545 termFormat ChineseLanguage, Ocean and "海洋"
(termFormat ChineseTraditionalLanguage Ocean "海洋") domainEnglishFormat.kif 41544-41544 termFormat ChineseTraditionalLanguage, Ocean and "海洋"
(termFormat EnglishLanguage Ocean "ocean") domainEnglishFormat.kif 41543-41543 termFormat EnglishLanguage, Ocean and "ocean"

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


(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))
Geography.kif 5410-5414
(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4373-4377
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4279-4284
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0 FootLength)))
Geography.kif 4524-4528
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0 Meter)))
Geography.kif 4518-4522
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))
Geography.kif 4286-4288

consequent
-------------------------


(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 933-939
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 941-949
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))
Geography.kif 4807-4814
(=>
    (instance ?PORT PortCity)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))
Transportation.kif 830-839
(=>
    (instance ?PORT SeaPort)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))
Transportation.kif 862-871
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))
Geography.kif 4472-4478


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