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 |
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 |