Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IED(improvised explosive device) |
| appearance as argument number 1 |
|
| (subclass IED Bomb) | Medicine.kif 6103-6103 | Improvised explosive device is a subclass of bomb |
| (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 6104-6107 | Improvised explosive device is a subclass of bomb |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IED "IED") | Medicine.kif 6108-6108 | |
| (termFormat EnglishLanguage IED "improvised explosive device") | Medicine.kif 6109-6109 |
| antecedent |
|
|
| (=> (instance ?IED IED) (not (exists (?M) (and (instance ?M Manufacture) (result ?M ?IED))))) |
Medicine.kif 6111-6117 | If X is an instance of improvised explosive device, then there doesn't exist Y such that Y is an instance of manufacture and X is a result of Y |
|