|
|
  ISO-4217-A
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2318-2318 | "AED" in ISO-4217-A denotes united arab emirate dirham |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2319-2319 | "AFA" in ISO-4217-A denotes afghan afghani |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2320-2320 | "ALL" in ISO-4217-A denotes albanian lek |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2321-2321 | "AMD" in ISO-4217-A denotes armenian dram |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2323-2323 | "AOA" in ISO-4217-A denotes angolan kwanza |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2325-2325 | "ATS" in ISO-4217-A denotes austrian schilling |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2289-2289 | "AUD" in ISO-4217-A denotes australian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2327-2327 | "AZM" in ISO-4217-A denotes azerbaijani manat |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2329-2329 | "BBD" in ISO-4217-A denotes barbados dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2330-2330 | "BDT" in ISO-4217-A denotes bangladeshi taka |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2331-2331 | "BEF" in ISO-4217-A denotes belgian franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2332-2332 | "BGN" in ISO-4217-A denotes bulgarian lev |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2333-2333 | "BHD" in ISO-4217-A denotes bahrainian dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2334-2334 | "BIF" in ISO-4217-A denotes burundi franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2335-2335 | "BMD" in ISO-4217-A denotes bermuda dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2336-2336 | "BND" in ISO-4217-A denotes brunei dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2337-2337 | "BOB" in ISO-4217-A denotes bolivian boliviano |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2339-2339 | "BRL" in ISO-4217-A denotes brazilian real |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2340-2340 | "BSD" in ISO-4217-A denotes bahamian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2341-2341 | "BTN" in ISO-4217-A denotes bhutanese ngultrum |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2290-2290 | "BWP" in ISO-4217-A denotes botswana pula |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2342-2342 | "BYR" in ISO-4217-A denotes belarusian rubel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2343-2343 | "BZD" in ISO-4217-A denotes belize dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2291-2291 | "CAD" in ISO-4217-A denotes canadian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2344-2344 | "CDF" in ISO-4217-A denotes congo franc |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2877-2883 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2307-2309 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2277-2282 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2311-2313 |
|
|
|
|