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 3648-3648 |
|
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 3752-3752 |
|
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. |
pictureList.kif 3755-3755 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3758-3758 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3292-3292 |
Argentine austral is an instance of unit of currency |