PlanetEarth |
appearance as argument number 1 |
(instance PlanetEarth Planet) | Geography.kif 3406-3406 | PlanetEarth è un' istanza di 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 46040-46040 | |
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 46039-46039 | |
(termFormat EnglishLanguage PlanetEarth "planet earth") | domainEnglishFormat.kif 46038-46038 |
antecedent |
consequent |