No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9327-9357 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8797-8797 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9821-9821 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9822-9822 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9823-9823 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9819-9819 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9326-9326 |
例 西方波斯語 and 波斯語 |