| Meteorite
| |
| appearance as argument number 1 |
|
|
| (documentation Meteorite EnglishLanguage "Any Meteoroid that leaves traces on the surface of Earth.") | Geography.kif 3426-3427 | |
| (externalImage Meteorite "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Willamette_Meteorite_AMNH.jpg") | pictureList.kif 1493-1493 | |
| (subclass Meteorite Meteoroid) | Geography.kif 3425-3425 | Meteorite は Meteoroid の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Meteorite "陨石") | domainEnglishFormat.kif 37331-37331 | |
| (termFormat ChineseTraditionalLanguage Meteorite "隕石") | domainEnglishFormat.kif 37330-37330 | |
| (termFormat EnglishLanguage Meteorite "meteorite") | domainEnglishFormat.kif 37329-37329 |
| antecedent |
|
|
| (=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth)))) |
Geography.kif 3429-3433 |
|
|
|