No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3863-3863 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3861-3861 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3862-3862 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3692-3692 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3860-3860 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3119-3119 |
Ecuadoran sucre is an instance of unit of currency |