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 | 民事军事行动 是 联合行动 的 subclass |
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 |