Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ISO_4217_A(ISO_4217_A) |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ISO_4217_A "ISO_4217_A") | domainEnglishFormat.kif 65010-65010 |
| antecedent |
|
|
| (=> (codeMapping ISO_4217_A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString))) |
Media.kif 2233-2238 | If X in ISO_4217_A denotes Y, then Y is an instance of unit of measure, X is 3 characters long, and X is an instance of alphabetic string |
| (=> (codeMapping ISO_4217_A ?TOKEN ?CURRENCY) (currencyCode ?TOKEN ?CURRENCY)) |
Media.kif 2263-2265 | If X in ISO_4217_A denotes Y, then Y is a currency code of X |
| (=> (and (codeMapping ISO_4217_A ?A3 ?CURRENCY) (codeMapping ISO_3166_1_alpha_2 ?A2 ?AREA) (instance ?AREA GeopoliticalArea) (equal ?A2 (SubstringFn ?A3 0 2))) (currencyType ?AREA ?CURRENCY)) |
Media.kif 2836-2842 | If X in ISO_4217_A denotes Y, Z in ISO_3166_1_alpha_2 denotes W, W is an instance of geopolitical area, and equal Z and the sub-string of X from 0 to 2, then Y is a currency type of W |
| consequent |
|
|
| (=> (currencyCode ?TOKEN ?CURRENCY) (codeMapping ISO_4217_A ?TOKEN ?CURRENCY)) |
Media.kif 2267-2269 | If X is a currency code of Y, then Y in ISO_4217_A denotes X |
|