No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 885-891 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6644-6644 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7126-7126 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7129-7129 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 883-883 |
Joint staff is an instance of group of people |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 884-884 |
Joint staff is an instance of military organization |
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. |
MilitaryProcesses.kif 900-900 |
DirectorJS is a leader position of joint staff |