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 |
联合工作人员 是 一群人 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 884-884 |
联合工作人员 是 军事组织 的 instance |
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 职位 |