No TPTP formula. May not be expressible in strict first order. |
People.kif 755-755 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5872-5872 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6141-6141 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6142-6142 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6143-6143 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6144-6144 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6145-6145 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6146-6146 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 754-754 |
巴哈 是 宗教属性 的 instance |