No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 917-917 |
leaderPosition JointChiefsOfStaff and ChairmanJCS |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 899-899 |
leaderPosition JointStaff and ChairmanJCS |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14040-14040 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14039-14039 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2764-2764 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14038-14038 |
|