| 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 |
|
|
|