PlanetVenus |
appearance as argument number 1 |
(instance PlanetVenus Planet) | Geography.kif 3410-3410 | PlanetVenus e' uma instancia de Planet |
(orbits PlanetVenus Sol) | Geography.kif 3411-3411 | orbits PlanetVenus and Sol |
appearance as argument number 2 |
(termFormat ChineseLanguage PlanetVenus "行星金星") | domainEnglishFormat.kif 46088-46088 | |
(termFormat ChineseTraditionalLanguage PlanetVenus "行星金星") | domainEnglishFormat.kif 46087-46087 | |
(termFormat EnglishLanguage PlanetVenus "planet venus") | domainEnglishFormat.kif 46086-46086 |