JointOperationPlanning
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1763-1780 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5025-5025 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4905-4905 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1762-1762 | 联合作战计划 是 运营计划 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31723-31723 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31722-31722 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31721-31721 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1812-1818 |