|
|
   IED
|
|
|
| appearance as argument number 1 |
|
|
| (documentation IED EnglishLanguage "An improvised explosive device (IED) is a Bomb constructed and deployed in ways other than in conventional military action. It may be constructed of conventional military explosives, such as an artillery shell, attached to a detonating mechanism. IEDs are commonly used as roadside bombs, or homemade bombs.[from Wikipedia]") | Medicine.kif 6073-6076 | |
| (subclass IED Bomb) | Medicine.kif 6072-6072 | Improvised explosive device is a subclass of bomb |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IED "IED") | Medicine.kif 6077-6077 | |
| (termFormat EnglishLanguage IED "improvised explosive device") | Medicine.kif 6078-6078 |
| antecedent |
|
|
| (=> (instance ?IED IED) (not (exists (?M) (and (instance ?M Manufacture) (result ?M ?IED))))) |
Medicine.kif 6080-6086 |
|
|
|
|