PlanetMars | ![]() |
appearance as argument number 1 |
![]() |
(instance PlanetMars Planet) | Geography.kif 3400-3400 | |
(orbits PlanetMars Sol) | Geography.kif 3401-3401 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage PlanetMars "星球火星") | domainEnglishFormat.kif 46081-46081 | |
(termFormat ChineseTraditionalLanguage PlanetMars "星球火星") | domainEnglishFormat.kif 46080-46080 | |
(termFormat EnglishLanguage PlanetMars "planet mars") | domainEnglishFormat.kif 46079-46079 |
![]() |
![]() |