PlanetEarth |
appearance as argument number 1 |
(instance PlanetEarth Planet) | Geography.kif 3406-3406 | PlanetEarth e' uma instancia de Planet |
(orbits PlanetEarth Sol) | Geography.kif 3407-3407 | orbits PlanetEarth and Sol |
appearance as argument number 2 |
(orbits EarthsMoon PlanetEarth) | Geography.kif 3399-3399 | orbits EarthsMoon and PlanetEarth |
(termFormat ChineseLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 46038-46038 | |
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 46037-46037 | |
(termFormat EnglishLanguage PlanetEarth "planet earth") | domainEnglishFormat.kif 46036-46036 |
antecedent |
consequent |