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 |
例 聯合工作人員 and 一群人 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 884-884 |
例 聯合工作人員 and 軍事組織 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 899-899 |
主席JCs 是 聯合工作人員 的 leader 職位 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 900-900 |
導演.JS 是 聯合工作人員 的 leader 職位 |