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 |
JointStaff est une instance de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 884-884 |
JointStaff est une instance de MilitaryOrganization |
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. |
MilitaryProcesses.kif 900-900 |
leaderPosition JointStaff and DirectorJS |