| CivilMilitaryOperation(民事軍事行動)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2269-2283 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4865-4865 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4866-4866 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2268-2268 | 子類 民事軍事行動 and 聯合行動 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14976-14976 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14975-14975 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14974-14974 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2288-2298 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2350-2360 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2386-2393 |
|
|
|