Ocean - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Ocean

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

appearance as argument number 2

(instance ArcticOcean Ocean)	Geography.kif 6186-6186	Arctic ocean is an instance of ocean
(instance AtlanticOcean Ocean)	Geography.kif 6086-6086	Atlantic ocean is an instance of ocean
(instance IndianOcean Ocean)	Geography.kif 6177-6177	Indian ocean is an instance of ocean
(instance PacificOcean Ocean)	Geography.kif 6118-6118	Pacific ocean is an instance of ocean
(instance SouthernOcean Ocean)	Geography.kif 6201-6201	Southern ocean is an instance of ocean
(termFormat ChineseLanguage Ocean "海洋")	domainEnglishFormat.kif 41633-41633	Southern ocean is an instance of ocean
(termFormat ChineseTraditionalLanguage Ocean "海洋")	domainEnglishFormat.kif 41632-41632	Southern ocean is an instance of ocean
(termFormat EnglishLanguage Ocean "ocean")	domainEnglishFormat.kif 41631-41631	Southern ocean is an instance of ocean

antecedent

(=> (and (instance ?LAKE Lake) (instance ?OCEAN Ocean)) (smaller ?LAKE ?OCEAN))	Geography.kif 7348-7352	If an object is an instance of lake and another object is an instance of ocean, then the object is smaller than the other object
(=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA))	Geography.kif 6195-6199	If an object is an instance of ocean and equal the object and arctic ocean, then arctic ocean is smaller than the object
(=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER))	Geography.kif 6075-6080	If an object is an instance of body of water and the object is not an instance of ocean and another object is an instance of ocean, then the other object is larger than the object
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0.0 FootLength)))	Geography.kif 6403-6408	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0.0 foot length(s) is an elevation of the other self connected object
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0.0 Meter)))	Geography.kif 6396-6401	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0.0 meter(s) is an elevation of the other self connected object
(=> (instance ?OCEAN Ocean) (properPart ?OCEAN WorldOcean))	Geography.kif 6082-6084	If an object is an instance of ocean, then the object is a proper part of world ocean

consequent

(=> (instance ?AREA LandlockedArea) (not (exists (?WATER ?SEA) (and (instance ?WATER SaltWaterArea) (part ?WATER ?SEA) (instance ?SEA Ocean) (meetsSpatially ?AREA ?WATER)))))	Geography.kif 2417-2425	If an object is an instance of landlocked area, then there don't exist another object and a third object such that the other object is an instance of salt water area and the other object is a part of the third object and the third object is an instance of ocean and the object meets the other object
(=> (instance ?AREA LandlockedArea) (not (exists (?WATER) (and (instance ?WATER Ocean) (meetsSpatially ?AREA ?WATER)))))	Geography.kif 2409-2415	If an object is an instance of landlocked area, then there doesn't exist another object such that the other object is an instance of ocean and the object meets the other object
(=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA))))	Geography.kif 6695-6702	If an object is an instance of gulf, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is connected to the other object
(=> (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 an object is an instance of port city, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
(=> (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 an object is an instance of sea port, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
(=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA))))	Geography.kif 6335-6341	If an object is an instance of sea, then there exist another object and a third object such that the other object is an instance of ocean and the third object is an instance of water area and the third object connects the other object and the object

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