ArcticOcean
|
|
appearance as argument number 1 |
(documentation ArcticOcean EnglishLanguage "ArcticOcean represents the Arctic Ocean.") | Geography.kif 4637-4637 | |
(externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") | pictureList.kif 2435-2435 | |
(geographicSubregion ArcticOcean NorthernHemisphere) | Geography.kif 4639-4639 | 北冰洋 是 北半球 的 geographic 次要地區 |
(instance ArcticOcean Ocean) | Geography.kif 4634-4634 | 例 北冰洋 and 海洋 |
(overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3584-3584 | 在空間上重疊 北冰洋 and 北極地區 |
(partlyLocated ArcticOcean EasternHemisphere) | Geography.kif 4640-4640 | 部分位於 北冰洋 and 東半球 |
(partlyLocated ArcticOcean WesternHemisphere) | Geography.kif 4641-4641 | 部分位於 北冰洋 and 西半球 |
appearance as argument number 2 |
(geographicSubregion NorthernSeaRoute ArcticOcean) | Transportation.kif 1675-1675 | 北海航線 是 北冰洋 的 geographic 次要地區 |
(geographicSubregion NorthwestPassage ArcticOcean) | Transportation.kif 1666-1666 | 西北通道 是 北冰洋 的 geographic 次要地區 |
(meetsSpatially Alaska ArcticOcean) | CountriesAndRegions.kif 882-882 | 空間的符合 阿拉斯加州 and 北冰洋 |
(names "Arctic Ocean" ArcticOcean) | Geography.kif 4635-4635 | 名 "Arctic Ocean" and 北冰洋 |
(termFormat ChineseLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8268-8268 | |
(termFormat ChineseTraditionalLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8267-8267 | |
(termFormat EnglishLanguage ArcticOcean "arctic ocean") | domainEnglishFormat.kif 8266-8266 |
antecedent |
(=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 4643-4647 |
consequent |
(=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 4643-4647 |