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 4515-4521 | |
(externalImage Ocean "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Indianocean.PNG") | pictureList.kif 905-905 | |
(subclass Ocean BodyOfWater) | Geography.kif 4513-4513 | Ocean è una sottoclasse di BodyOfWater |
(subclass Ocean SaltWaterArea) | Geography.kif 4512-4512 | Ocean è una sottoclasse di SuperficieAcquaticaSalata |
appearance as argument number 2 |
(instance ArcticOcean Ocean) | Geography.kif 4634-4634 | ArcticOcean è un' istanza di Ocean |
(instance AtlanticOcean Ocean) | Geography.kif 4534-4534 | AtlanticOcean è un' istanza di Ocean |
(instance IndianOcean Ocean) | Geography.kif 4625-4625 | IndianOcean è un' istanza di Ocean |
(instance PacificOcean Ocean) | Geography.kif 4566-4566 | PacificOcean è un' istanza di Ocean |
(instance SouthernOcean Ocean) | Geography.kif 4649-4649 | SouthernOcean è un' istanza di Ocean |
(termFormat ChineseLanguage Ocean "海洋") | domainEnglishFormat.kif 41628-41628 | |
(termFormat ChineseTraditionalLanguage Ocean "海洋") | domainEnglishFormat.kif 41627-41627 | |
(termFormat EnglishLanguage Ocean "ocean") | domainEnglishFormat.kif 41626-41626 |
antecedent |
consequent |
(=> (instance ?AREA LandlockedArea) (not (exists (?WATER ?SEA) (and (instance ?WATER SaltWaterArea) (part ?WATER ?SEA) (instance ?SEA Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 942-950 | |
(=> (instance ?AREA LandlockedArea) (not (exists (?WATER) (and (instance ?WATER Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 934-940 | |
(=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5129-5136 | |
(=> (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 4783-4789 |