No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3771-3771 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3776-3776 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3775-3775 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3774-3774 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3652-3652 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2967-2967 |
AustrianSchilling est une instance de UnitOfCurrency |