Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
CounterOperation(counter operation)
|  | counterinsurgent, counterrevolutionary |
| appearance as argument number 1 |
|
|
| (subclass CounterOperation MilitaryOperation) | MilitaryProcesses.kif 2191-2191 | Counter operation is a subclass of military operation |
| (documentation CounterOperation EnglishLanguage "All measures to prevent operations from the enemy.") | MilitaryProcesses.kif 2192-2193 | Counter operation is a subclass of military operation |
| (externalImage CounterOperation "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ FAC.jpg") | pictureList.kif 9128-9128 | Counter operation is a subclass of military operation |
| (externalImage CounterOperation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Hms_arethusa_map.png") | pictureList.kif 9129-9129 | Counter operation is a subclass of military operation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CO CounterOperation) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS MilitaryOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2197-2207 | If X is an instance of counter operation, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of military operation (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V |
|