No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2918-2918 |
currencyValue FrenchFrancCoin and FrenchFranc |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3875-3875 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3873-3873 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3874-3874 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2917-2917 |
FrenchFrancCoin est une sous-classe de CurrencyCoin |