| ReconnaissanceOperation
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 675-679 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8678-8678 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9583-9583 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 674-674 | 子類 ReconnaissanceOperation and Investigating |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 673-673 | 子類 ReconnaissanceOperation and 軍事行動 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 730-730 | 子類 空中偵察 and ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 765-765 | 子類 兩棲偵察 and ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 820-820 | 子類 聯繫偵察 and ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 844-844 | 子類 電子偵察 and ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 838-838 | 子類 巡邏 and ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 824-824 | 子類 雷達偵察 and ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 706-706 | 子類 ReconnaissanceByFire and ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 725-725 | 子類 ReconnaissanceInForce and ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 19-19 | 子類 特別偵察 and ReconnaissanceOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2747-2747 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 684-690 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 694-704 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2193-2203 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 520-522 |
|
|
|