No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3830-3830 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3827-3827 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3678-3678 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3829-3829 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3828-3828 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3831-3831 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3826-3826 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3075-3075 |
ColombianPeso est une instance de UnitOfCurrency |