No TPTP formula. May not be expressible in strict first order. |
People.kif 1464-1465 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6853-6853 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7840-7840 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7841-7841 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7842-7842 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7844-7844 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1463-1463 |
例 神道 and 信仰團體 |