No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1017-1017 | JointDoctrine est une sous-classe de JointPublication |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1018-1018 | JointDoctrine est une sous-classe de Doctrine |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1083-1083 | Capstone est une sous-classe de JointDoctrine |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1091-1091 | Keystone est une sous-classe de JointDoctrine |