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 2613-2613
(codeMapping ISO-3166-1-alpha-2 "AE" UnitedArabEmirates) Media.kif 2804-2804
(codeMapping ISO-3166-1-alpha-2 "AF" Afghanistan) Media.kif 2614-2614
(codeMapping ISO-3166-1-alpha-2 "AG" AntiguaAndBarbuda) Media.kif 2615-2615
(codeMapping ISO-3166-1-alpha-2 "AI" Anguilla) Media.kif 2812-2812
(codeMapping ISO-3166-1-alpha-2 "AL" Albania) Media.kif 2616-2616
(codeMapping ISO-3166-1-alpha-2 "AM" Armenia) Media.kif 2617-2617
(codeMapping ISO-3166-1-alpha-2 "AN" NetherlandsAntilles) Media.kif 2837-2837
(codeMapping ISO-3166-1-alpha-2 "AO" Angola) Media.kif 2618-2618
(codeMapping ISO-3166-1-alpha-2 "AQ" Antarctica) Media.kif 2813-2813
(codeMapping ISO-3166-1-alpha-2 "AR" Argentina) Media.kif 2619-2619
(codeMapping ISO-3166-1-alpha-2 "AS" AmericanSamoa) Media.kif 2811-2811
(codeMapping ISO-3166-1-alpha-2 "AT" Austria) Media.kif 2620-2620
(codeMapping ISO-3166-1-alpha-2 "AU" Australia) Media.kif 2621-2621
(codeMapping ISO-3166-1-alpha-2 "AW" Aruba) Media.kif 2814-2814
(codeMapping ISO-3166-1-alpha-2 "AX" AalandIslands) Media.kif 2622-2622
(codeMapping ISO-3166-1-alpha-2 "AZ" Azerbaijan) Media.kif 2623-2623
(codeMapping ISO-3166-1-alpha-2 "BA" BosniaAndHerzegovina) Media.kif 2624-2624
(codeMapping ISO-3166-1-alpha-2 "BB" Barbados) Media.kif 2625-2625
(codeMapping ISO-3166-1-alpha-2 "BD" Bangladesh) Media.kif 2626-2626
(codeMapping ISO-3166-1-alpha-2 "BE" Belgium) Media.kif 2627-2627
(codeMapping ISO-3166-1-alpha-2 "BF" BurkinaFaso) Media.kif 2628-2628
(codeMapping ISO-3166-1-alpha-2 "BG" Bulgaria) Media.kif 2629-2629
(codeMapping ISO-3166-1-alpha-2 "BH" Bahrain) Media.kif 2630-2630
(codeMapping ISO-3166-1-alpha-2 "BI" Burundi) Media.kif 2631-2631

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (codeMapping ISO-4217-A ?A3 ?CURRENCY)
        (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA)
        (subclass ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))
Media.kif 2859-2865
(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))
Media.kif 2606-2611


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners