No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1716-1716 | Joint operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1717-1717 | Joint operation is a subclass of cooperation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2206-2206 | Civil affairs operation is a subclass of joint operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2268-2268 | Civil military operation is a subclass of joint operation |