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

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


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