| 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 3414-3415 | |
| (externalImage Meteorite "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Willamette_Meteorite_AMNH.jpg") | pictureList.kif 1493-1493 | |
| (subclass Meteorite Meteoroid) | Geography.kif 3413-3413 | Meteorite is a subclass of meteoroid |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Meteorite "陨石") | domainEnglishFormat.kif 37357-37357 | |
| (termFormat ChineseTraditionalLanguage Meteorite "隕石") | domainEnglishFormat.kif 37356-37356 | |
| (termFormat EnglishLanguage Meteorite "meteorite") | domainEnglishFormat.kif 37355-37355 |
| antecedent |
|
|
| (=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth)))) |
Geography.kif 3417-3421 |
|
|
|
|