Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Moon
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Moon NaturalSatellite) | Geography.kif 4801-4801 | Moon is a subclass of natural satellite |
| (documentation Moon EnglishLanguage "Moon is the class of NaturalSatellites that orbit planets or large asteroids.") | Geography.kif 4802-4803 | Moon is a subclass of natural satellite |
| (externalImage Moon "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Moon.jpg") | pictureList.kif 1494-1494 | Moon is a subclass of natural satellite |
| appearance as argument number 2 |
|
|
| (instance EarthsMoon Moon) | Geography.kif 4805-4805 | Earths moon is an instance of moon |
| (termFormat EnglishLanguage Moon "moon") | domainEnglishFormat.kif 38519-38519 | Earths moon is an instance of moon |
| (termFormat ChineseTraditionalLanguage Moon "月亮") | domainEnglishFormat.kif 38520-38520 | Earths moon is an instance of moon |
| (termFormat ChineseLanguage Moon "月亮") | domainEnglishFormat.kif 38521-38521 | Earths moon is an instance of moon |
|
