| PlanetPluto | |
| appearance as argument number 1 |
|
|
| (instance PlanetPluto Planet) | Geography.kif 3410-3410 | |
| (orbits PlanetPluto Sol) | Geography.kif 3411-3411 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PlanetPluto "行星冥王星") | domainEnglishFormat.kif 46099-46099 | |
| (termFormat ChineseTraditionalLanguage PlanetPluto "行星冥王星") | domainEnglishFormat.kif 46098-46098 | |
| (termFormat EnglishLanguage PlanetPluto "planet pluto") | domainEnglishFormat.kif 46097-46097 |
|
|
|