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 |
![]() |
![]() |