|
|
   ReconnaissanceByFire
|
|
|
| appearance as argument number 1 |
|
|
| (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 707-709 | |
| (subclass ReconnaissanceByFire ReconnaissanceOperation) | MilitaryProcesses.kif 706-706 | ReconnaissanceByFire 是 ReconnaissanceOperation 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ReconnaissanceByFire "reconnaissance by fire") | MilitaryProcesses.kif 2799-2799 |
| 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 713-723 |
|
|
|