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
-------------------------


s__codeMapping(s__ISO_3166_1_alpha_2,'"AD"',s__Andorra)

Media.kif 2613-2613 "AD" in ISO-3166-1-alpha-2 denotes andorra
s__codeMapping(s__ISO_3166_1_alpha_2,'"AE"',s__UnitedArabEmirates)

Media.kif 2804-2804 "AE" in ISO-3166-1-alpha-2 denotes united arab emirates
s__codeMapping(s__ISO_3166_1_alpha_2,'"AF"',s__Afghanistan)

Media.kif 2614-2614 "AF" in ISO-3166-1-alpha-2 denotes afghanistan
s__codeMapping(s__ISO_3166_1_alpha_2,'"AG"',s__AntiguaAndBarbuda)

Media.kif 2615-2615 "AG" in ISO-3166-1-alpha-2 denotes antigua and barbuda
s__codeMapping(s__ISO_3166_1_alpha_2,'"AI"',s__Anguilla)

Media.kif 2812-2812 "AI" in ISO-3166-1-alpha-2 denotes anguilla
s__codeMapping(s__ISO_3166_1_alpha_2,'"AL"',s__Albania)

Media.kif 2616-2616 "AL" in ISO-3166-1-alpha-2 denotes albania
s__codeMapping(s__ISO_3166_1_alpha_2,'"AM"',s__Armenia)

Media.kif 2617-2617 "AM" in ISO-3166-1-alpha-2 denotes armenia
s__codeMapping(s__ISO_3166_1_alpha_2,'"AN"',s__NetherlandsAntilles)

Media.kif 2837-2837 "AN" in ISO-3166-1-alpha-2 denotes netherlands antilles
s__codeMapping(s__ISO_3166_1_alpha_2,'"AO"',s__Angola)

Media.kif 2618-2618 "AO" in ISO-3166-1-alpha-2 denotes angola
s__codeMapping(s__ISO_3166_1_alpha_2,'"AQ"',s__Antarctica)

Media.kif 2813-2813 "AQ" in ISO-3166-1-alpha-2 denotes antarctica
s__codeMapping(s__ISO_3166_1_alpha_2,'"AR"',s__Argentina)

Media.kif 2619-2619 "AR" in ISO-3166-1-alpha-2 denotes argentina
s__codeMapping(s__ISO_3166_1_alpha_2,'"AS"',s__AmericanSamoa)

Media.kif 2811-2811 "AS" in ISO-3166-1-alpha-2 denotes american samoa
s__codeMapping(s__ISO_3166_1_alpha_2,'"AT"',s__Austria)

Media.kif 2620-2620 "AT" in ISO-3166-1-alpha-2 denotes austria
s__codeMapping(s__ISO_3166_1_alpha_2,'"AU"',s__Australia)

Media.kif 2621-2621 "AU" in ISO-3166-1-alpha-2 denotes australia
s__codeMapping(s__ISO_3166_1_alpha_2,'"AW"',s__Aruba)

Media.kif 2814-2814 "AW" in ISO-3166-1-alpha-2 denotes aruba
s__codeMapping(s__ISO_3166_1_alpha_2,'"AX"',s__AalandIslands)

Media.kif 2622-2622 "AX" in ISO-3166-1-alpha-2 denotes AalandIslands
s__codeMapping(s__ISO_3166_1_alpha_2,'"AZ"',s__Azerbaijan)

Media.kif 2623-2623 "AZ" in ISO-3166-1-alpha-2 denotes azerbaijan
s__codeMapping(s__ISO_3166_1_alpha_2,'"BA"',s__BosniaAndHerzegovina)

Media.kif 2624-2624 "BA" in ISO-3166-1-alpha-2 denotes bosnia and herzegovina
s__codeMapping(s__ISO_3166_1_alpha_2,'"BB"',s__Barbados)

Media.kif 2625-2625 "BB" in ISO-3166-1-alpha-2 denotes barbados
s__codeMapping(s__ISO_3166_1_alpha_2,'"BD"',s__Bangladesh)

Media.kif 2626-2626 "BD" in ISO-3166-1-alpha-2 denotes bangladesh
s__codeMapping(s__ISO_3166_1_alpha_2,'"BE"',s__Belgium)

Media.kif 2627-2627 "BE" in ISO-3166-1-alpha-2 denotes belgium
s__codeMapping(s__ISO_3166_1_alpha_2,'"BF"',s__BurkinaFaso)

Media.kif 2628-2628 "BF" in ISO-3166-1-alpha-2 denotes burkina faso
s__codeMapping(s__ISO_3166_1_alpha_2,'"BG"',s__Bulgaria)

Media.kif 2629-2629 "BG" in ISO-3166-1-alpha-2 denotes bulgaria
s__codeMapping(s__ISO_3166_1_alpha_2,'"BH"',s__Bahrain)

Media.kif 2630-2630 "BH" in ISO-3166-1-alpha-2 denotes bahrain
s__codeMapping(s__ISO_3166_1_alpha_2,'"BI"',s__Burundi)

Media.kif 2631-2631 "BI" in ISO-3166-1-alpha-2 denotes burundi

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__A2,V__A3,V__CURRENCY,V__AREA] :
   (((s__instance(V__A2,s__SymbolicString) &
         s__instance(V__A3,s__SymbolicString) &
         s__instance(V__CURRENCY,s__UnitOfCurrency) &
         s__instance(V__AREA,s__Class) &
         s__instance(V__AREA,s__GeopoliticalArea))
       =>
       (((s__codeMapping(s__ISO_4217_A,V__A3,V__CURRENCY)
           &
           s__codeMapping(s__ISO_3166_1_alpha_2,V__A2,V__AREA)
         &
         s__subclass(V__AREA,s__GeopoliticalArea) &
         (V__A2 = s__SubstringFn(V__A3,n__0,n__2)))
     =>
     (s__currencyType(V__AREA,V__CURRENCY)))))
)
)

Media.kif 2859-2865
( ! [V__X,V__TOKEN] :
   ((s__instance(V__TOKEN,s__SymbolicString) =>
       ((s__codeMapping(s__ISO_3166_1_alpha_2,V__TOKEN,V__X)
         =>
         ((s__instance(V__X,s__GeographicArea) &
             s__instance(V__TOKEN,s__AlphabeticString) &
             s__stringLength(n__2,V__TOKEN))))))
)
)

Media.kif 2606-2611


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