| 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 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 is a subclass of body of water |
| (subclass Ocean SaltWaterArea) | Geography.kif 4752-4752 | Ocean is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (instance ArcticOcean Ocean) | Geography.kif 4874-4874 | Arctic ocean is an instance of ocean |
| (instance AtlanticOcean Ocean) | Geography.kif 4774-4774 | Atlantic ocean is an instance of ocean |
| (instance IndianOcean Ocean) | Geography.kif 4865-4865 | Indian ocean is an instance of ocean |
| (instance PacificOcean Ocean) | Geography.kif 4806-4806 | Pacific ocean is an instance of ocean |
| (instance SouthernOcean Ocean) | Geography.kif 4889-4889 | Southern ocean is an instance of ocean |
| (termFormat ChineseLanguage Ocean "海洋") | domainEnglishFormat.kif 41634-41634 | Southern ocean is an instance of ocean |
| (termFormat ChineseTraditionalLanguage Ocean "海洋") | domainEnglishFormat.kif 41633-41633 | Southern ocean is an instance of ocean |
| (termFormat EnglishLanguage Ocean "ocean") | domainEnglishFormat.kif 41632-41632 | Southern ocean is an instance of ocean |
| antecedent |
|
|
| consequent |
|
|
|
|
|