Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Ocean
Ocean(ocean)
deep, ocean

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


(subclass Ocean SaltWaterArea) Geography.kif 6054-6054 Ocean is a subclass of salt water area
(subclass Ocean BodyOfWater) Geography.kif 6055-6055 Ocean is a subclass of body of water
(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 6057-6063 Ocean is a subclass of body of water
(externalImage Ocean "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Indianocean.PNG") pictureList.kif 905-905 Ocean is a subclass of body of water

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


(instance AtlanticOcean Ocean) Geography.kif 6076-6076 Atlantic ocean is an instance of ocean
(instance PacificOcean Ocean) Geography.kif 6108-6108 Pacific ocean is an instance of ocean
(instance IndianOcean Ocean) Geography.kif 6167-6167 Indian ocean is an instance of ocean
(instance ArcticOcean Ocean) Geography.kif 6176-6176 Arctic ocean is an instance of ocean
(instance SouthernOcean Ocean) Geography.kif 6191-6191 Southern ocean is an instance of ocean
(termFormat EnglishLanguage Ocean "ocean") domainEnglishFormat.kif 41625-41625 Southern ocean is an instance of ocean
(termFormat ChineseTraditionalLanguage Ocean "海洋") domainEnglishFormat.kif 41626-41626 Southern ocean is an instance of ocean
(termFormat ChineseLanguage Ocean "海洋") domainEnglishFormat.kif 41627-41627 Southern ocean is an instance of ocean

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


(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))		 Geography.kif 6065-6070 If X is an instance of body of water, X is not an instance of ocean, and Y is an instance of ocean, then Y is larger than X
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))		 Geography.kif 6072-6074 If X is an instance of ocean, then X is a proper part of world ocean
(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))		 Geography.kif 6185-6189 If X is an instance of ocean and equal X and arctic ocean, then arctic ocean is smaller than X
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 Meter)))		 Geography.kif 6386-6391 If X is an instance of ocean and Y is a surface of X, then 0.0 meter(s) is an elevation of Y
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 FootLength)))		 Geography.kif 6393-6398 If X is an instance of ocean and Y is a surface of X, then 0.0 foot length(s) is an elevation of Y
(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))		 Geography.kif 7333-7337 If X is an instance of lake and Y is an instance of ocean, then X is smaller than Y

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


(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER Ocean)
                (meetsSpatially ?AREA ?WATER)))))		 Geography.kif 2392-2398 If X is an instance of landlocked area, then there doesn't exist Y such that Y is an instance of ocean and X meets Y
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER ?SEA)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))		 Geography.kif 2400-2408 If X is an instance of landlocked area, then there don't exist Y, Z such that Y is an instance of salt water area, Y is a part of Z, Z is an instance of ocean, and X meets Y
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))		 Geography.kif 6325-6331 If X is an instance of sea, then there exist Y, Z such that Y is an instance of ocean, Z is an instance of water area, Z connects Y, and X
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))		 Geography.kif 6685-6692 If X is an instance of gulf, then there exists Y such that Y is an instance of sea or Y is an instance of ocean and X is connected to Y
(=>
    (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 If X is an instance of port city, then there exists Y such that Y is an instance of sea, Y is an instance of ocean and X is adjacent to Y, or X is near to Y
(=>
    (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 If X is an instance of sea port, then there exists Y such that Y is an instance of sea, Y is an instance of ocean and X is adjacent to Y, or X is near to Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners