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 7398-7399 | |
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 7396-7396 | EuroDollar e' uma instancia 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 3193-3197 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3187-3191 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7406-7408 | Numero Real EuroCent(s) e' igual a Numero Real + 0.01 EuroDollar(s) |