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 | ShrapnelExplosion è una sottoclasse di Explosion |
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 |
|