| Ocean(ocean)
| | deep, ocean |
| appearance as argument number 1 |
|
|
| (subclass Ocean SaltWaterArea) | Geography.kif 6070-6070 | Ocean is a subclass of salt water area |
| (subclass Ocean BodyOfWater) | Geography.kif 6071-6071 | 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 6073-6079 | 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 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?AREA LandlockedArea) (not (exists (?WATER) (and (instance ?WATER Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 2396-2402 | 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 2404-2412 | 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 6341-6347 | 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 6701-6708 | 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 |
|
|
|