Planet(行星)![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Planet EnglishLanguage "Planet is the class of large NaturalSatellites that revolve around a star.") | Geography.kif 3391-3392 | |
(externalImage Planet "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Saturn_%28planet%29_large.jpg") | pictureList.kif 1496-1496 | |
(subclass Planet NaturalSatellite) | Geography.kif 3390-3390 | 行星 是 天然卫星 的 subclass |
appearance as argument number 2 |
![]() |
(instance PlanetEarth Planet) | Geography.kif 3394-3394 | 行星地球 是 行星 的 instance |
(instance PlanetJupiter Planet) | Geography.kif 3402-3402 | 行星木星 是 行星 的 instance |
(instance PlanetMars Planet) | Geography.kif 3400-3400 | 星球火星 是 行星 的 instance |
(instance PlanetMercury Planet) | Geography.kif 3396-3396 | 行星汞 是 行星 的 instance |
(instance PlanetNeptune Planet) | Geography.kif 3406-3406 | 行星海王星 是 行星 的 instance |
(instance PlanetPluto Planet) | Geography.kif 3410-3410 | 行星冥王星 是 行星 的 instance |
(instance PlanetSaturn Planet) | Geography.kif 3404-3404 | 行星土星 是 行星 的 instance |
(instance PlanetUranus Planet) | Geography.kif 3408-3408 | 行星天王星 是 行星 的 instance |
(instance PlanetVenus Planet) | Geography.kif 3398-3398 | 行星金星 是 行星 的 instance |
(termFormat ChineseLanguage Planet "行星") | domainEnglishFormat.kif 46065-46065 | 行星金星 是 行星 的 instance |
(termFormat ChineseTraditionalLanguage Planet "行星") | domainEnglishFormat.kif 46064-46064 | 行星金星 是 行星 的 instance |
(termFormat EnglishLanguage Planet "planet") | domainEnglishFormat.kif 46063-46063 | 行星金星 是 行星 的 instance |
![]() |
![]() |