|
|
   Planet
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Planet EnglishLanguage "Planet is the class of large NaturalSatellites that revolve around a star.") | Geography.kif 3325-3326 | |
| (externalImage Planet "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Saturn_%28planet%29_large.jpg") | pictureList.kif 1497-1497 | |
| (subclass Planet NaturalSatellite) | Geography.kif 3324-3324 |
| appearance as argument number 2 |
|
|
| (instance PlanetEarth Planet) | Geography.kif 3328-3328 | |
| (instance PlanetJupiter Planet) | Geography.kif 3336-3336 | |
| (instance PlanetMars Planet) | Geography.kif 3334-3334 | |
| (instance PlanetMercury Planet) | Geography.kif 3330-3330 | |
| (instance PlanetNeptune Planet) | Geography.kif 3340-3340 | |
| (instance PlanetPluto Planet) | Geography.kif 3344-3344 | |
| (instance PlanetSaturn Planet) | Geography.kif 3338-3338 | |
| (instance PlanetUranus Planet) | Geography.kif 3342-3342 | |
| (instance PlanetVenus Planet) | Geography.kif 3332-3332 | |
| (termFormat ChineseLanguage Planet "行星") | domainEnglishFormat.kif 46015-46015 | |
| (termFormat ChineseTraditionalLanguage Planet "行星") | domainEnglishFormat.kif 46014-46014 | |
| (termFormat EnglishLanguage Planet "planet") | domainEnglishFormat.kif 46013-46013 |
|
|
|
