Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ReconnaissanceByFire(reconnaissance by fire) |  | reconnaissance_by_fire |
| appearance as argument number 1 |
|
|
| (subclass ReconnaissanceByFire ReconnaissanceOperation) | MilitaryProcesses.kif 728-728 | Reconnaissance by fire is a subclass of reconnaissance operation |
| (documentation ReconnaissanceByFire EnglishLanguage "A method of reconnaissance in which fire is placed on a suspected enemy position to cause the enemy to disclose a presence by movement or return of fire.") | MilitaryProcesses.kif 729-731 | Reconnaissance by fire is a subclass of reconnaissance operation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ReconnaissanceByFire "reconnaissance by fire") | MilitaryProcesses.kif 2962-2962 |
| antecedent |
|
|
| (=> (and (instance ?RbF ReconnaissanceByFire) (agent ?RbF ?AGENT)) (exists (?ATTACK ?HOSTILE) (and (patient ?RbF ?HOSTILE) (subProcess ?ATTACK ?RbF) (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE)))) |
MilitaryProcesses.kif 735-745 | If X is an instance of reconnaissance by fire and Y is an agent of X, then there exist Z, W such that W is a patient of X, Z is a subprocess of X, Z is an instance of attack, Y is an agent of Z, and W is a patient of Z |
|