|
|
  EuroDollar
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2622-2622 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7397-7398 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1336-1336 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7395-7395 | EuroDollar est une instance de UnitOfCurrency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2969-2969 | currencyType Austria and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2997-2997 | currencyType Belgium and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3093-3093 | currencyType Cyprus and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3133-3133 | currencyType Estonia and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3145-3145 | currencyType Finland and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2893-2893 | currencyType France and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2896-2896 | currencyType Germany and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3165-3165 | currencyType Greece and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3225-3225 | currencyType Ireland and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2899-2899 | currencyType Italy and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3269-3269 | currencyType Latvia and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3289-3289 | currencyType Lithuania and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3293-3293 | currencyType Luxembourg and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3317-3317 | currencyType Malta and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3101-3101 | currencyType Netherlands and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3413-3413 | currencyType Portugal and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3457-3457 | currencyType Slovakia and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3459-3459 | currencyType Slovenia and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3475-3475 | currencyType Spain and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22510-22510 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22509-22509 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22508-22508 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2302-2302 | codeMapping ISO-4217-A, "EUR" and EuroDollar |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3229-3233 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3223-3227 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7405-7407 | Nombre r�el EuroCent(s) est nombre r�el + 0.01 EuroDollar(s) |
|
|
|