|
|
   Meteorite
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Meteorite EnglishLanguage "Any Meteoroid that leaves traces on the surface of Earth.") | Geography.kif 3348-3349 | |
| (externalImage Meteorite "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Willamette_Meteorite_AMNH.jpg") | pictureList.kif 1494-1494 | |
| (subclass Meteorite Meteoroid) | Geography.kif 3347-3347 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Meteorite "陨石") | domainEnglishFormat.kif 37320-37320 | |
| (termFormat ChineseTraditionalLanguage Meteorite "隕石") | domainEnglishFormat.kif 37319-37319 | |
| (termFormat EnglishLanguage Meteorite "meteorite") | domainEnglishFormat.kif 37318-37318 |
| antecedent |
|
|
| (=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth)))) |
Geography.kif 3351-3355 |
|
|
|
