No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1716-1716 | JointOperation est une sous-classe de MilitaryOperation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1717-1717 | JointOperation est une sous-classe de coop�ration |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2206-2206 | CivilAffairsOperation est une sous-classe de JointOperation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2268-2268 | CivilMilitaryOperation est une sous-classe de JointOperation |
![]() |