Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ArcticOcean
|
|
|
| appearance as argument number 1 |
|
|
| (overlapsSpatially ArcticOcean ArcticRegion) | Geography.kif 5010-5010 | Arctic ocean and arctic region overlapsSpatially |
| (instance ArcticOcean Ocean) | Geography.kif 6176-6176 | Arctic ocean is an instance of ocean |
| (documentation ArcticOcean EnglishLanguage "ArcticOcean represents the Arctic Ocean.") | Geography.kif 6179-6179 | Arctic ocean is an instance of ocean |
| (geographicSubregion ArcticOcean NorthernHemisphere) | Geography.kif 6181-6181 | Arctic ocean is a geographic subregion of northern hemisphere |
| (partlyLocated ArcticOcean EasternHemisphere) | Geography.kif 6182-6182 | Arctic ocean is partly located in eastern hemisphere |
| (partlyLocated ArcticOcean WesternHemisphere) | Geography.kif 6183-6183 | Arctic ocean is partly located in western hemisphere |
| (externalImage ArcticOcean "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ IBCAO_betamap.jpg") | pictureList.kif 2434-2434 | Arctic ocean is partly located in western hemisphere |
| appearance as argument number 2 |
|
|
| (meetsSpatially Alaska ArcticOcean) | CountriesAndRegions.kif 882-882 | Alaska meets arctic ocean |
| (names "Arctic Ocean" ArcticOcean) | Geography.kif 6177-6177 | Arctic ocean has name "Arctic Ocean" |
| (geographicSubregion NorthwestPassage ArcticOcean) | Transportation.kif 1821-1821 | Northwest passage is a geographic subregion of arctic ocean |
| (geographicSubregion NorthernSeaRoute ArcticOcean) | Transportation.kif 1830-1830 | Northern sea route is a geographic subregion of arctic ocean |
| (termFormat EnglishLanguage ArcticOcean "arctic ocean") | domainEnglishFormat.kif 8266-8266 | Northern sea route is a geographic subregion of arctic ocean |
| (termFormat ChineseTraditionalLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8267-8267 | Northern sea route is a geographic subregion of arctic ocean |
| (termFormat ChineseLanguage ArcticOcean "北冰洋") | domainEnglishFormat.kif 8268-8268 | Northern sea route is a geographic subregion of arctic ocean |
| antecedent |
|
|
| (=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 6185-6189 | If X is an instance of ocean and equal X and arctic ocean, then arctic ocean is smaller than X |
| consequent |
|
|
| (=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 6185-6189 | If X is an instance of ocean and equal X and arctic ocean, then arctic ocean is smaller than X |
|
