No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 940-949 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 921-921 | JointPublication est une sous-classe de texte |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 955-955 | AboveTheLine est une sous-classe de JointPublication |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 973-973 | BelowTheLine est une sous-classe de JointPublication |
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 1099-1099 | JointTest est une sous-classe de JointPublication |