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 4585-4591
(externalImage Ocean "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Indianocean.PNG") pictureList.kif 905-905
(subclass Ocean BodyOfWater) Geography.kif 4583-4583 Ocean est une sous-classe de BodyOfWater
(subclass Ocean SaltWaterArea) Geography.kif 4582-4582 Ocean est une sous-classe de plan d'eau sal�

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


(instance ArcticOcean Ocean) Geography.kif 4704-4704 ArcticOcean est une instance de Ocean
(instance AtlanticOcean Ocean) Geography.kif 4604-4604 AtlanticOcean est une instance de Ocean
(instance IndianOcean Ocean) Geography.kif 4695-4695 IndianOcean est une instance de Ocean
(instance PacificOcean Ocean) Geography.kif 4636-4636 PacificOcean est une instance de Ocean
(instance SouthernOcean Ocean) Geography.kif 4719-4719 SouthernOcean est une instance de Ocean
(termFormat ChineseLanguage Ocean "海洋") domainEnglishFormat.kif 41634-41634 SouthernOcean est une instance de Ocean
(termFormat ChineseTraditionalLanguage Ocean "海洋") domainEnglishFormat.kif 41633-41633 SouthernOcean est une instance de Ocean
(termFormat EnglishLanguage Ocean "ocean") domainEnglishFormat.kif 41632-41632 SouthernOcean est une instance de Ocean

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


(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))		 Geography.kif 5866-5870
(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))		 Geography.kif 4713-4717
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))		 Geography.kif 4593-4598
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 FootLength)))		 Geography.kif 4933-4938
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 Meter)))		 Geography.kif 4926-4931
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))		 Geography.kif 4600-4602

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


(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER ?SEA)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))		 Geography.kif 937-945
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER Ocean)
                (meetsSpatially ?AREA ?WATER)))))		 Geography.kif 929-935
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))		 Geography.kif 5225-5232
(=>
    (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 4853-4859


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