WesternHemisphere(西半球)![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation WesternHemisphere EnglishLanguage "The half of the Earth that includes North and South America.") | Geography.kif 3781-3782 | |
(externalImage WesternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6c/ Western_Hemisphere_LamAz.png") | pictureList.kif 2059-2059 | |
(instance WesternHemisphere Hemisphere) | Geography.kif 3780-3780 | 西半球 是 半球 的 instance |
appearance as argument number 2 |
![]() |
consequent |
![]() |
(<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere))) |
Geography.kif 3784-3790 | 实体 是 半球 的 instance 若且唯若 equal 那个 实体 and 北半球 或 equal 那个 实体 and 南半球 或 equal 那个 实体 and 东半球 或 equal 那个 实体 and 西半球 |
![]() |
![]() |