| PlanetJupiter | |
| appearance as argument number 1 |
|
|
| (instance PlanetJupiter Planet) | Geography.kif 3402-3402 | |
| (orbits PlanetJupiter Sol) | Geography.kif 3403-3403 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PlanetJupiter "行星木星") | domainEnglishFormat.kif 46075-46075 | |
| (termFormat ChineseTraditionalLanguage PlanetJupiter "行星木星") | domainEnglishFormat.kif 46074-46074 | |
| (termFormat EnglishLanguage PlanetJupiter "planet jupiter") | domainEnglishFormat.kif 46073-46073 |
|
|
|