No TPTP formula. May not be expressible in strict first order. |
People.kif 1268-1269 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6828-6828 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7742-7742 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7743-7743 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7744-7744 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7745-7745 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7746-7746 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7747-7747 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7748-7748 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7750-7750 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7751-7751 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7756-7756 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7752-7752 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7753-7753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7754-7754 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7755-7755 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1266-1266 |
例 羅馬天主教 and 信仰團體 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1267-1267 |
子集合 羅馬天主教 and 基督教 |