No TPTP formula. May not be expressible in strict first order. |
People.kif 1288-1288 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6781-6781 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7600-7600 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7601-7601 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7602-7602 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7604-7604 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7603-7603 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1287-1287 |
教皇 是 宗教立场 的 instance |