No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3754-3754 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3649-3649 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3755-3755 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3753-3753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3760-3760 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3756-3756 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3759-3759 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2955-2955 |
例 阿根廷南部 and UnitOfCurrency |