Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ISO-3166-1-alpha-2

 Sigma KEE - ISO-3166-1-alpha-2
ISO-3166-1-alpha-2

appearance as argument number 1
-------------------------


(codeMapping ISO-3166-1-alpha-2 "AD" Andorra) Media.kif 2643-2643 "AD" 在 ISO-3166-1-alpha-2 denotes 安道尔
(codeMapping ISO-3166-1-alpha-2 "AE" UnitedArabEmirates) Media.kif 2834-2834 "AE" 在 ISO-3166-1-alpha-2 denotes 阿拉伯联合酋长国
(codeMapping ISO-3166-1-alpha-2 "AF" Afghanistan) Media.kif 2644-2644 "AF" 在 ISO-3166-1-alpha-2 denotes 阿富汗
(codeMapping ISO-3166-1-alpha-2 "AG" AntiguaAndBarbuda) Media.kif 2645-2645 "AG" 在 ISO-3166-1-alpha-2 denotes 安提瓜和巴布达
(codeMapping ISO-3166-1-alpha-2 "AI" Anguilla) Media.kif 2842-2842 "AI" 在 ISO-3166-1-alpha-2 denotes 安圭拉
(codeMapping ISO-3166-1-alpha-2 "AL" Albania) Media.kif 2646-2646 "AL" 在 ISO-3166-1-alpha-2 denotes 阿尔巴尼亚
(codeMapping ISO-3166-1-alpha-2 "AM" Armenia) Media.kif 2647-2647 "AM" 在 ISO-3166-1-alpha-2 denotes 亚美尼亚
(codeMapping ISO-3166-1-alpha-2 "AN" NetherlandsAntilles) Media.kif 2867-2867 "AN" 在 ISO-3166-1-alpha-2 denotes 荷属安的列斯
(codeMapping ISO-3166-1-alpha-2 "AO" Angola) Media.kif 2648-2648 "AO" 在 ISO-3166-1-alpha-2 denotes 安哥拉
(codeMapping ISO-3166-1-alpha-2 "AQ" Antarctica) Media.kif 2843-2843 "AQ" 在 ISO-3166-1-alpha-2 denotes 南极洲
(codeMapping ISO-3166-1-alpha-2 "AR" Argentina) Media.kif 2649-2649 "AR" 在 ISO-3166-1-alpha-2 denotes 阿根廷
(codeMapping ISO-3166-1-alpha-2 "AS" AmericanSamoa) Media.kif 2841-2841 "AS" 在 ISO-3166-1-alpha-2 denotes 美国萨摩亚
(codeMapping ISO-3166-1-alpha-2 "AT" Austria) Media.kif 2650-2650 "AT" 在 ISO-3166-1-alpha-2 denotes 奥地利
(codeMapping ISO-3166-1-alpha-2 "AU" Australia) Media.kif 2651-2651 "AU" 在 ISO-3166-1-alpha-2 denotes 澳大利亚
(codeMapping ISO-3166-1-alpha-2 "AW" Aruba) Media.kif 2844-2844 "AW" 在 ISO-3166-1-alpha-2 denotes 阿鲁巴
(codeMapping ISO-3166-1-alpha-2 "AX" AalandIslands) Media.kif 2652-2652 "AX" 在 ISO-3166-1-alpha-2 denotes AalandIslands
(codeMapping ISO-3166-1-alpha-2 "AZ" Azerbaijan) Media.kif 2653-2653 "AZ" 在 ISO-3166-1-alpha-2 denotes 阿塞拜疆
(codeMapping ISO-3166-1-alpha-2 "BA" BosniaAndHerzegovina) Media.kif 2654-2654 "BA" 在 ISO-3166-1-alpha-2 denotes 波斯尼亚和黑塞哥维那
(codeMapping ISO-3166-1-alpha-2 "BB" Barbados) Media.kif 2655-2655 "BB" 在 ISO-3166-1-alpha-2 denotes 巴巴多斯
(codeMapping ISO-3166-1-alpha-2 "BD" Bangladesh) Media.kif 2656-2656 "BD" 在 ISO-3166-1-alpha-2 denotes 孟加拉国
(codeMapping ISO-3166-1-alpha-2 "BE" Belgium) Media.kif 2657-2657 "BE" 在 ISO-3166-1-alpha-2 denotes 比利时
(codeMapping ISO-3166-1-alpha-2 "BF" BurkinaFaso) Media.kif 2658-2658 "BF" 在 ISO-3166-1-alpha-2 denotes 布基纳法索
(codeMapping ISO-3166-1-alpha-2 "BG" Bulgaria) Media.kif 2659-2659 "BG" 在 ISO-3166-1-alpha-2 denotes 保加利亚
(codeMapping ISO-3166-1-alpha-2 "BH" Bahrain) Media.kif 2660-2660 "BH" 在 ISO-3166-1-alpha-2 denotes 巴林
(codeMapping ISO-3166-1-alpha-2 "BI" Burundi) Media.kif 2661-2661 "BI" 在 ISO-3166-1-alpha-2 denotes 布隆迪

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ISO-3166-1-alpha-2 "ISO-3166-1-alpha-2") domainEnglishFormat.kif 65006-65006

antecedent
-------------------------


(=>
    (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 2889-2895
(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2636-2641


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners