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

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


(instance ArcticOcean Ocean) Geography.kif 4874-4874 ArcticOceanOceaninstance では
(instance AtlanticOcean Ocean) Geography.kif 4774-4774 AtlanticOceanOceaninstance では
(instance IndianOcean Ocean) Geography.kif 4865-4865 IndianOceanOceaninstance では
(instance PacificOcean Ocean) Geography.kif 4806-4806 PacificOceanOceaninstance では
(instance SouthernOcean Ocean) Geography.kif 4889-4889 SouthernOceanOceaninstance では
(termFormat ChineseLanguage Ocean "海洋") domainEnglishFormat.kif 41634-41634 SouthernOceanOceaninstance では
(termFormat ChineseTraditionalLanguage Ocean "海洋") domainEnglishFormat.kif 41633-41633 SouthernOceanOceaninstance では
(termFormat EnglishLanguage Ocean "ocean") domainEnglishFormat.kif 41632-41632 SouthernOceanOceaninstance では

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


(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))
Geography.kif 6036-6040
(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4883-4887
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4763-4768
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 FootLength)))
Geography.kif 5091-5096
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 Meter)))
Geography.kif 5084-5089
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))
Geography.kif 4770-4772

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


(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER ?SEA)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 1107-1115
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 1099-1105
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))
Geography.kif 5383-5390
(=>
    (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 5023-5029


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