|
|
  AustralianDollar
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3769-3769 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3766-3766 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3765-3765 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3770-3770 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3763-3763 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2963-2963 | AustralianDollar est une instance de UnitOfCurrency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2965-2965 | currencyType Australia and AustralianDollar |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9090-9090 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9089-9089 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9088-9088 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2298-2298 | codeMapping ISO-4217-A, "AUD" and AustralianDollar |
|
|
|
