No TPTP formula. May not be expressible in strict first order. |
Media.kif 2327-2327 |
codeMapping ISO-4217-A, "AED" and UnitedArabEmirateDirham |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2328-2328 |
codeMapping ISO-4217-A, "AFA" and AfghanAfghani |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2329-2329 |
codeMapping ISO-4217-A, "ALL" and AlbanianLek |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2330-2330 |
codeMapping ISO-4217-A, "AMD" and ArmenianDram |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2332-2332 |
codeMapping ISO-4217-A, "AOA" and AngolanKwanza |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2334-2334 |
codeMapping ISO-4217-A, "ATS" and AustrianSchilling |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2298-2298 |
codeMapping ISO-4217-A, "AUD" and AustralianDollar |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2336-2336 |
codeMapping ISO-4217-A, "AZM" and AzerbaijaniManat |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2338-2338 |
codeMapping ISO-4217-A, "BBD" and BarbadosDollar |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2339-2339 |
codeMapping ISO-4217-A, "BDT" and BangladeshiTaka |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2340-2340 |
codeMapping ISO-4217-A, "BEF" and BelgianFranc |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2341-2341 |
codeMapping ISO-4217-A, "BGN" and BulgarianLev |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2342-2342 |
codeMapping ISO-4217-A, "BHD" and BahrainianDinar |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2343-2343 |
codeMapping ISO-4217-A, "BIF" and BurundiFranc |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2344-2344 |
codeMapping ISO-4217-A, "BMD" and BermudaDollar |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2345-2345 |
codeMapping ISO-4217-A, "BND" and BruneiDollar |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2346-2346 |
codeMapping ISO-4217-A, "BOB" and BolivianBoliviano |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2348-2348 |
codeMapping ISO-4217-A, "BRL" and BrazilianReal |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2349-2349 |
codeMapping ISO-4217-A, "BSD" and BahamianDollar |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2350-2350 |
codeMapping ISO-4217-A, "BTN" and BhutaneseNgultrum |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2299-2299 |
codeMapping ISO-4217-A, "BWP" and BotswanaPula |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2351-2351 |
codeMapping ISO-4217-A, "BYR" and BelarusianRubel |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2352-2352 |
codeMapping ISO-4217-A, "BZD" and BelizeDollar |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2300-2300 |
codeMapping ISO-4217-A, "CAD" and CanadianDollar |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2353-2353 |
codeMapping ISO-4217-A, "CDF" and CongoFranc |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |