| 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 4584-4590 | |
| (externalImage Ocean "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Indianocean.PNG") | pictureList.kif 905-905 | |
| (subclass Ocean BodyOfWater) | Geography.kif 4582-4582 | Ocean is a subclass of body of water |
| (subclass Ocean SaltWaterArea) | Geography.kif 4581-4581 | Ocean is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (instance ArcticOcean Ocean) | Geography.kif 4703-4703 | Arctic ocean is an instance of ocean |
| (instance AtlanticOcean Ocean) | Geography.kif 4603-4603 | Atlantic ocean is an instance of ocean |
| (instance IndianOcean Ocean) | Geography.kif 4694-4694 | Indian ocean is an instance of ocean |
| (instance PacificOcean Ocean) | Geography.kif 4635-4635 | Pacific ocean is an instance of ocean |
| (instance SouthernOcean Ocean) | Geography.kif 4718-4718 | Southern ocean is an instance of ocean |
| (termFormat ChineseLanguage Ocean "海洋") | domainEnglishFormat.kif 41657-41657 | Southern ocean is an instance of ocean |
| (termFormat ChineseTraditionalLanguage Ocean "海洋") | domainEnglishFormat.kif 41656-41656 | Southern ocean is an instance of ocean |
| (termFormat EnglishLanguage Ocean "ocean") | domainEnglishFormat.kif 41655-41655 | Southern ocean is an instance of ocean |
| antecedent |
|
|
| consequent |
|
|
|
|
|