No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4465-4465 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4463-4463 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4065-4065 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4466-4466 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4467-4467 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4464-4464 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4460-4460 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3585-3585 |
YugoslavianDinar est une instance de UnitOfCurrency |