| 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 4722-4728 | |
| (externalImage Ocean "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Indianocean.PNG") | pictureList.kif 905-905 | |
| (subclass Ocean BodyOfWater) | Geography.kif 4720-4720 | Ocean is a subclass of body of water |
| (subclass Ocean SaltWaterArea) | Geography.kif 4719-4719 | Ocean is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (instance ArcticOcean Ocean) | Geography.kif 4841-4841 | Arctic ocean is an instance of ocean |
| (instance AtlanticOcean Ocean) | Geography.kif 4741-4741 | Atlantic ocean is an instance of ocean |
| (instance IndianOcean Ocean) | Geography.kif 4832-4832 | Indian ocean is an instance of ocean |
| (instance PacificOcean Ocean) | Geography.kif 4773-4773 | Pacific ocean is an instance of ocean |
| (instance SouthernOcean Ocean) | Geography.kif 4856-4856 | 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 |
|
|
|
|
|