|
|
  ArcticOcean
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ArcticOcean EnglishLanguage "ArcticOcean represents the Arctic Ocean.") | Geography.kif 4844-4844 | |
| (externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") | pictureList.kif 2434-2434 | |
| (geographicSubregion ArcticOcean NorthernHemisphere) | Geography.kif 4846-4846 | geographicSubregion ArcticOcean and NorthernHemisphere |
| (instance ArcticOcean Ocean) | Geography.kif 4841-4841 | ArcticOcean ist ein fall von Ocean |
| (overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 3709-3709 | ArcticOcean deckt sich mit ArcticRegion raeumlich |
| (partlyLocated ArcticOcean EasternHemisphere) | Geography.kif 4847-4847 | ArcticOcean befindet sich teils an |
| (partlyLocated ArcticOcean WesternHemisphere) | Geography.kif 4848-4848 | ArcticOcean befindet sich teils an |
| 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 schliesst ArcticOcean raeumlich an |
| (names "Arctic Ocean" ArcticOcean) | Geography.kif 4842-4842 | names "Arctic Ocean" and ArcticOcean |
| (termFormat ChineseLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8269-8269 | names "Arctic Ocean" and ArcticOcean |
| (termFormat ChineseTraditionalLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8268-8268 | names "Arctic Ocean" and ArcticOcean |
| (termFormat EnglishLanguage ArcticOcean "arctic ocean") | domainEnglishFormat.kif 8267-8267 | names "Arctic Ocean" and ArcticOcean |
| antecedent |
|
|
| (=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 4850-4854 |
|
| consequent |
|
|
| (=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 4850-4854 |
|
|
|
|
