| Meteorite(meteorite)
| | meteorite, meteoritic, meteoritical, micrometeor, micrometeorite, micrometeoroid, siderite |
| 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 is a subclass of meteoroid |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Meteorite "陨石") | domainEnglishFormat.kif 37365-37365 | |
| (termFormat ChineseTraditionalLanguage Meteorite "隕石") | domainEnglishFormat.kif 37364-37364 | |
| (termFormat EnglishLanguage Meteorite "meteorite") | domainEnglishFormat.kif 37363-37363 |
| antecedent |
|
|
| (=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth)))) |
Geography.kif 3429-3433 |
|
|
|
|