| Ocean(ocean)
| | deep, 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 is a subclass of body of water |
| (subclass Ocean SaltWaterArea) | Geography.kif 4512-4512 | Ocean is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (instance ArcticOcean Ocean) | Geography.kif 4634-4634 | Arctic ocean is an instance of ocean |
| (instance AtlanticOcean Ocean) | Geography.kif 4534-4534 | Atlantic ocean is an instance of ocean |
| (instance IndianOcean Ocean) | Geography.kif 4625-4625 | Indian ocean is an instance of ocean |
| (instance PacificOcean Ocean) | Geography.kif 4566-4566 | Pacific ocean is an instance of ocean |
| (instance SouthernOcean Ocean) | Geography.kif 4649-4649 | Southern ocean is an instance of ocean |
| (termFormat ChineseLanguage Ocean "海洋") | domainEnglishFormat.kif 41664-41664 | Southern ocean is an instance of ocean |
| (termFormat ChineseTraditionalLanguage Ocean "海洋") | domainEnglishFormat.kif 41663-41663 | Southern ocean is an instance of ocean |
| (termFormat EnglishLanguage Ocean "ocean") | domainEnglishFormat.kif 41662-41662 | Southern ocean is an instance of ocean |
| antecedent |
|
|
| consequent |
|
|
|
|
|