| Hemisphere
| |
| appearance as argument number 1 |
|
|
| (documentation Hemisphere EnglishLanguage "Hemisphere is the class of GeographicAreas that are halves of the Earth, as traditionally divided into the Northern and Southern Hemispheres along the equator and into the Eastern and Western Hemispheres along a north-south line running 20�W and 160�E.") | Geography.kif 3463-3466 | |
| (externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") | pictureList.kif 1802-1802 | |
| (subclass Hemisphere GeographicArea) | Geography.kif 3462-3462 | Hemisphere は 地理的地域 の subclass では %n |
| appearance as argument number 2 |
|
|
| (instance EasternHemisphere Hemisphere) | Geography.kif 3480-3480 | EasternHemisphere は Hemisphere の instance では %n |
| (instance NorthernHemisphere Hemisphere) | Geography.kif 3472-3472 | NorthernHemisphere は Hemisphere の instance では %n |
| (instance SouthernHemisphere Hemisphere) | Geography.kif 3476-3476 | SouthernHemisphere は Hemisphere の instance では %n |
| (instance WesternHemisphere Hemisphere) | Geography.kif 3484-3484 | WesternHemisphere は Hemisphere の instance では %n |
| (termFormat ChineseLanguage Hemisphere "半球") | domainEnglishFormat.kif 27915-27915 | |
| (termFormat ChineseTraditionalLanguage Hemisphere "半球") | domainEnglishFormat.kif 27914-27914 | |
| (termFormat EnglishLanguage Hemisphere "hemisphere") | domainEnglishFormat.kif 27913-27913 |
| antecedent |
|
|
| (<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere))) |
Geography.kif 3488-3494 | エンティティー は Hemisphere の instance では %n エンティティー は NorthernHemisphere と equal では %n エンティティー は SouthernHemisphere と equal では %n エンティティー は EasternHemisphere と equal では %n エンティティー は WesternHemisphere と equal では %n |
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3468-3470 |
|
|
|
|