Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ISO_3166_1_alpha_2(ISO_3166_1_alpha_2) |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ISO_3166_1_alpha_2 "ISO_3166_1_alpha_2") | domainEnglishFormat.kif 65009-65009 |
| antecedent |
|
|
| (=> (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X) (and (instance ?X GeographicArea) (instance ?TOKEN AlphabeticString) (stringLength 2 ?TOKEN))) |
Media.kif 2583-2588 | If X in ISO_3166_1_alpha_2 denotes Y, then Y is an instance of geographic area, X is an instance of alphabetic string, and X is 2 characters long |
| (=> (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 |
|