| 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 |
| appearance as argument number 2 |
|
|
| (instance PlanetEarth Planet) | Geography.kif 3394-3394 | |
| (instance PlanetJupiter Planet) | Geography.kif 3402-3402 | |
| (instance PlanetMars Planet) | Geography.kif 3400-3400 | |
| (instance PlanetMercury Planet) | Geography.kif 3396-3396 | |
| (instance PlanetNeptune Planet) | Geography.kif 3406-3406 | |
| (instance PlanetPluto Planet) | Geography.kif 3410-3410 | |
| (instance PlanetSaturn Planet) | Geography.kif 3404-3404 | |
| (instance PlanetUranus Planet) | Geography.kif 3408-3408 | |
| (instance PlanetVenus Planet) | Geography.kif 3398-3398 | |
| (termFormat ChineseLanguage Planet "行星") | domainEnglishFormat.kif 46063-46063 | |
| (termFormat ChineseTraditionalLanguage Planet "行星") | domainEnglishFormat.kif 46062-46062 | |
| (termFormat EnglishLanguage Planet "planet") | domainEnglishFormat.kif 46061-46061 |
|
|
|