|
|
   ShrapnelExplosion
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ShrapnelExplosion EnglishLanguage "An Explosion that causes the Motion of Shrapnel.") | Medicine.kif 6278-6278 | |
| (subclass ShrapnelExplosion Explosion) | Medicine.kif 6277-6277 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ShrapnelExplosion "shrapnel explosion") | Medicine.kif 6279-6279 |
| antecedent |
|
|
| (=> (instance ?SE ShrapnelExplosion) (exists (?M ?T) (and (instance ?M Metal) (instance ?T Translocation) (causes ?SE ?T) (objectTransferred ?T ?M)))) |
Medicine.kif 6281-6288 | |
| (=> (instance ?SE ShrapnelExplosion) (hasPurpose ?SE (exists (?P) (and (or (instance ?P Injuring) (instance ?P Killing)) (causes ?SE ?P))))) |
Medicine.kif 6290-6298 |
|
|
|