| EarthsMoon
| |
| appearance as argument number 1 |
|
|
| (documentation EarthsMoon EnglishLanguage "EarthsMoon is the Moon of PlanetEarth.") | Geography.kif 3388-3388 | |
| (externalImage EarthsMoon "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Moon.jpg") | pictureList.kif 132-132 | |
| (instance EarthsMoon Moon) | Geography.kif 3386-3386 | EarthsMoon は Moon の instance では |
| (orbits EarthsMoon PlanetEarth) | Geography.kif 3387-3387 | orbits EarthsMoon and PlanetEarth |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EarthsMoon "地球月亮") | domainEnglishFormat.kif 20817-20817 | |
| (termFormat ChineseTraditionalLanguage EarthsMoon "地球月亮") | domainEnglishFormat.kif 20816-20816 | |
| (termFormat EnglishLanguage EarthsMoon "earths moon") | domainEnglishFormat.kif 20815-20815 |
|
|
|