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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2629-2629
(codeMapping ISO-3166-1-alpha-2 "AE" UnitedArabEmirates) Media.kif 2820-2820
(codeMapping ISO-3166-1-alpha-2 "AF" Afghanistan) Media.kif 2630-2630
(codeMapping ISO-3166-1-alpha-2 "AG" AntiguaAndBarbuda) Media.kif 2631-2631
(codeMapping ISO-3166-1-alpha-2 "AI" Anguilla) Media.kif 2828-2828
(codeMapping ISO-3166-1-alpha-2 "AL" Albania) Media.kif 2632-2632
(codeMapping ISO-3166-1-alpha-2 "AM" Armenia) Media.kif 2633-2633
(codeMapping ISO-3166-1-alpha-2 "AN" NetherlandsAntilles) Media.kif 2853-2853
(codeMapping ISO-3166-1-alpha-2 "AO" Angola) Media.kif 2634-2634
(codeMapping ISO-3166-1-alpha-2 "AQ" Antarctica) Media.kif 2829-2829
(codeMapping ISO-3166-1-alpha-2 "AR" Argentina) Media.kif 2635-2635
(codeMapping ISO-3166-1-alpha-2 "AS" AmericanSamoa) Media.kif 2827-2827
(codeMapping ISO-3166-1-alpha-2 "AT" Austria) Media.kif 2636-2636
(codeMapping ISO-3166-1-alpha-2 "AU" Australia) Media.kif 2637-2637
(codeMapping ISO-3166-1-alpha-2 "AW" Aruba) Media.kif 2830-2830
(codeMapping ISO-3166-1-alpha-2 "AX" AalandIslands) Media.kif 2638-2638
(codeMapping ISO-3166-1-alpha-2 "AZ" Azerbaijan) Media.kif 2639-2639
(codeMapping ISO-3166-1-alpha-2 "BA" BosniaAndHerzegovina) Media.kif 2640-2640
(codeMapping ISO-3166-1-alpha-2 "BB" Barbados) Media.kif 2641-2641
(codeMapping ISO-3166-1-alpha-2 "BD" Bangladesh) Media.kif 2642-2642
(codeMapping ISO-3166-1-alpha-2 "BE" Belgium) Media.kif 2643-2643
(codeMapping ISO-3166-1-alpha-2 "BF" BurkinaFaso) Media.kif 2644-2644
(codeMapping ISO-3166-1-alpha-2 "BG" Bulgaria) Media.kif 2645-2645
(codeMapping ISO-3166-1-alpha-2 "BH" Bahrain) Media.kif 2646-2646
(codeMapping ISO-3166-1-alpha-2 "BI" Burundi) Media.kif 2647-2647

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)
        (instance ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))
Media.kif 2875-2881
(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))
Media.kif 2622-2627


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



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