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

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 2871-2877
(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2618-2623


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