ArcticOcean![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation ArcticOcean EnglishLanguage "ArcticOcean represents the Arctic Ocean.") | Geography.kif 4877-4877 | |
(externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") | pictureList.kif 2434-2434 | |
(geographicSubregion ArcticOcean NorthernHemisphere) | Geography.kif 4879-4879 | geographicSubregion ArcticOcean and NorthernHemisphere |
(instance ArcticOcean Ocean) | Geography.kif 4874-4874 | ArcticOcean は Ocean の instance では |
(overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3742-3742 | overlapsSpatially ArcticOcean and ArcticRegion |
(partlyLocated ArcticOcean EasternHemisphere) | Geography.kif 4880-4880 | ArcticOcean は partly に EasternHemisphere に 位置して |
(partlyLocated ArcticOcean WesternHemisphere) | Geography.kif 4881-4881 | ArcticOcean は partly に WesternHemisphere に 位置して |
appearance as argument number 2 |
![]() |
(geographicSubregion NorthernSeaRoute ArcticOcean) | Transportation.kif 1815-1815 | geographicSubregion NorthernSeaRoute and ArcticOcean |
(geographicSubregion NorthwestPassage ArcticOcean) | Transportation.kif 1806-1806 | geographicSubregion NorthwestPassage and ArcticOcean |
(meetsSpatially Alaska ArcticOcean) | CountriesAndRegions.kif 882-882 | Alaska は ArcticOcean と meets |
(names "Arctic Ocean" ArcticOcean) | Geography.kif 4875-4875 | ArcticOcean は "Arctic Ocean" の &ames$"name" を 持って |
(termFormat ChineseLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8269-8269 | ArcticOcean は "Arctic Ocean" の &ames$"name" を 持って |
(termFormat ChineseTraditionalLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8268-8268 | ArcticOcean は "Arctic Ocean" の &ames$"name" を 持って |
(termFormat EnglishLanguage ArcticOcean "arctic ocean") | domainEnglishFormat.kif 8267-8267 | ArcticOcean は "Arctic Ocean" の &ames$"name" を 持って |
antecedent |
![]() |
(=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 4883-4887 |
|
consequent |
![]() |
(=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 4883-4887 |
|
![]() |
![]() |