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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ocean

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 4515-4521
(externalImage Ocean "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Indianocean.PNG") pictureList.kif 905-905
(subclass Ocean BodyOfWater) Geography.kif 4513-4513 OceanBodyOfWatersubclass では %n
(subclass Ocean SaltWaterArea) Geography.kif 4512-4512 Ocean塩水地域subclass では %n

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


(instance ArcticOcean Ocean) Geography.kif 4634-4634 ArcticOceanOceaninstance では %n
(instance AtlanticOcean Ocean) Geography.kif 4534-4534 AtlanticOceanOceaninstance では %n
(instance IndianOcean Ocean) Geography.kif 4625-4625 IndianOceanOceaninstance では %n
(instance PacificOcean Ocean) Geography.kif 4566-4566 PacificOceanOceaninstance では %n
(instance SouthernOcean Ocean) Geography.kif 4649-4649 SouthernOceanOceaninstance では %n
(termFormat ChineseLanguage Ocean "海洋") domainEnglishFormat.kif 41626-41626
(termFormat ChineseTraditionalLanguage Ocean "海洋") domainEnglishFormat.kif 41625-41625
(termFormat EnglishLanguage Ocean "ocean") domainEnglishFormat.kif 41624-41624

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


(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))
Geography.kif 5733-5737
(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4643-4647
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4523-4528
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 FootLength)))
Geography.kif 4837-4842
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 Meter)))
Geography.kif 4830-4835
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))
Geography.kif 4530-4532

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


(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER ?SEA)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 942-950
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 934-940
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))
Geography.kif 5129-5136
(=>
    (instance ?PORT PortCity)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))
Transportation.kif 841-850
(=>
    (instance ?PORT SeaPort)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))
Transportation.kif 873-882
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))
Geography.kif 4783-4789


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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