|
|
  ISO-4217-A
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2327-2327 | "AED" in ISO-4217-A denotes united arab emirate dirham |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2328-2328 | "AFA" in ISO-4217-A denotes afghan afghani |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2329-2329 | "ALL" in ISO-4217-A denotes albanian lek |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2330-2330 | "AMD" in ISO-4217-A denotes armenian dram |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2332-2332 | "AOA" in ISO-4217-A denotes angolan kwanza |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2334-2334 | "ATS" in ISO-4217-A denotes austrian schilling |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2298-2298 | "AUD" in ISO-4217-A denotes australian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2336-2336 | "AZM" in ISO-4217-A denotes azerbaijani manat |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2338-2338 | "BBD" in ISO-4217-A denotes barbados dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2339-2339 | "BDT" in ISO-4217-A denotes bangladeshi taka |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2340-2340 | "BEF" in ISO-4217-A denotes belgian franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2341-2341 | "BGN" in ISO-4217-A denotes bulgarian lev |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2342-2342 | "BHD" in ISO-4217-A denotes bahrainian dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2343-2343 | "BIF" in ISO-4217-A denotes burundi franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2344-2344 | "BMD" in ISO-4217-A denotes bermuda dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2345-2345 | "BND" in ISO-4217-A denotes brunei dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2346-2346 | "BOB" in ISO-4217-A denotes bolivian boliviano |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2348-2348 | "BRL" in ISO-4217-A denotes brazilian real |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2349-2349 | "BSD" in ISO-4217-A denotes bahamian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2350-2350 | "BTN" in ISO-4217-A denotes bhutanese ngultrum |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2299-2299 | "BWP" in ISO-4217-A denotes botswana pula |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2351-2351 | "BYR" in ISO-4217-A denotes belarusian rubel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2352-2352 | "BZD" in ISO-4217-A denotes belize dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2300-2300 | "CAD" in ISO-4217-A denotes canadian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2353-2353 | "CDF" in ISO-4217-A denotes congo franc |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65007-65007 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2889-2895 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2316-2318 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2286-2291 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2320-2322 |
|
|
|
|