ArcticOcean![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation ArcticOcean EnglishLanguage "ArcticOcean represents the Arctic Ocean.") | Geography.kif 4367-4367 | |
(externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") | pictureList.kif 2436-2436 | |
(geographicSubregion ArcticOcean NorthernHemisphere) | Geography.kif 4369-4369 | |
(instance ArcticOcean Ocean) | Geography.kif 4364-4364 | |
(overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3443-3443 | |
(partlyLocated ArcticOcean EasternHemisphere) | Geography.kif 4370-4370 | |
(partlyLocated ArcticOcean WesternHemisphere) | Geography.kif 4371-4371 |
appearance as argument number 2 |
![]() |
(geographicSubregion NorthernSeaRoute ArcticOcean) | Transportation.kif 1660-1660 | |
(geographicSubregion NorthwestPassage ArcticOcean) | Transportation.kif 1651-1651 | |
(meetsSpatially Alaska ArcticOcean) | CountriesAndRegions.kif 882-882 | |
(names "Arctic Ocean" ArcticOcean) | Geography.kif 4365-4365 | |
(termFormat ChineseLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8275-8275 | |
(termFormat ChineseTraditionalLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8274-8274 | |
(termFormat EnglishLanguage ArcticOcean "arctic ocean") | domainEnglishFormat.kif 8273-8273 |
antecedent |
![]() |
(=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 4373-4377 |
consequent |
![]() |
(=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 4373-4377 |
![]() |
![]() |