| 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 是 爆炸 的 subclass |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners