| EarthsMoon
| |
| appearance as argument number 1 |
|
|
| (documentation EarthsMoon EnglishLanguage "EarthsMoon is the Moon of PlanetEarth.") | Geography.kif 3259-3259 | |
| (externalImage EarthsMoon "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Moon.jpg") | pictureList.kif 132-132 | |
| (instance EarthsMoon Moon) | Geography.kif 3257-3257 | instance EarthsMoon and Moon |
| (orbits EarthsMoon PlanetEarth) | Geography.kif 3258-3258 | orbits EarthsMoon and PlanetEarth |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EarthsMoon "地球月亮") | domainEnglishFormat.kif 20731-20731 | |
| (termFormat ChineseTraditionalLanguage EarthsMoon "地球月亮") | domainEnglishFormat.kif 20730-20730 | |
| (termFormat EnglishLanguage EarthsMoon "earths moon") | domainEnglishFormat.kif 20729-20729 |
|
|
|