No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 917-917 |
ChairmanJC s is a leader position of joint chiefs of staff |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 899-899 |
ChairmanJC s is a leader position of joint staff |
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 |
|