| 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 6091-6094 | |
| (subclass IED Bomb) | Medicine.kif 6090-6090 | Improvised explosive device is a subclass of bomb |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IED "IED") | Medicine.kif 6095-6095 | |
| (termFormat EnglishLanguage IED "improvised explosive device") | Medicine.kif 6096-6096 |
| antecedent |
|
|
| (=> (instance ?IED IED) (not (exists (?M) (and (instance ?M Manufacture) (result ?M ?IED))))) |
Medicine.kif 6098-6104 |
|
|
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