Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PreciseDestruction(precise destruction) |
| appearance as argument number 1 |
|
| (subclass PreciseDestruction DirectActionActivity) | MilitaryProcesses.kif 611-611 | Precise destruction is a subclass of direct action activity |
| (subclass PreciseDestruction Destruction) | MilitaryProcesses.kif 612-612 | Precise destruction is a subclass of destruction |
| (documentation PreciseDestruction EnglishLanguage "These are operations in which collateral damage must be minimized, requiring highly sophisticated weapons and/ or timed detonation of specific amounts of explosives placed in exact locations to accomplish mission objectives. Precision destruction operations can be conducted against targets where precision-guided munitions cannot guarantee first strike success or when the contents of a facility must be destroyed without damage to that facility.") | MilitaryProcesses.kif 613-620 | Precise destruction is a subclass of destruction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DESTR PreciseDestruction) (agent ?DESTR ?AGENT)) (exists (?WEAPON) (and (possesses ?AGENT ?WEAPON) (instrument ?DESTR ?WEAPON) (instance ?WEAPON HighPrecisionWeapon)))) |
MilitaryProcesses.kif 623-631 | If X is an instance of precise destruction and Y is an agent of X, then there exists Z such that Y possesses Z, Z is an instrument for X, and Z is an instance of high precision weapon |
| (=> (and (instance ?DESTR PreciseDestruction) (patient ?DESTR ?PATIENT)) (hasPurpose ?DESTR (not (exists (?DAMAGING ?DAMAGED) (and (instance ?DAMAGING Damaging) (subProcess ?DAMAGING ?DESTR) (patient ?DAMAGING ?DAMAGED) (not (equal ?PATIENT ?DAMAGED))))))) |
MilitaryProcesses.kif 640-652 | If X is an instance of precise destruction and Y is a patient of X, then X has the purpose there don't exist Z, W such that Z is an instance of damaging, Z is a subprocess of X, W is a patient of Z, equal Y, and W |
|