No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1026-1026 |
ChairmanPublication est disjoint de JointDoctrine |
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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31675-31675 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31674-31674 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31673-31673 |
|