| 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 | Ocean は BodyOfWater の subclass では |
| (subclass Ocean SaltWaterArea) | Geography.kif 4752-4752 | Ocean は 塩水地域 の subclass では |
| appearance as argument number 2 |
|
|
| (instance ArcticOcean Ocean) | Geography.kif 4874-4874 | ArcticOcean は Ocean の instance では |
| (instance AtlanticOcean Ocean) | Geography.kif 4774-4774 | AtlanticOcean は Ocean の instance では |
| (instance IndianOcean Ocean) | Geography.kif 4865-4865 | IndianOcean は Ocean の instance では |
| (instance PacificOcean Ocean) | Geography.kif 4806-4806 | PacificOcean は Ocean の instance では |
| (instance SouthernOcean Ocean) | Geography.kif 4889-4889 | SouthernOcean は Ocean の instance では |
| (termFormat ChineseLanguage Ocean "海洋") | domainEnglishFormat.kif 41634-41634 | SouthernOcean は Ocean の instance では |
| (termFormat ChineseTraditionalLanguage Ocean "海洋") | domainEnglishFormat.kif 41633-41633 | SouthernOcean は Ocean の instance では |
| (termFormat EnglishLanguage Ocean "ocean") | domainEnglishFormat.kif 41632-41632 | SouthernOcean は Ocean の instance では |
| 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 |
|
|
|