| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2643-2643 |
codeMapping ISO-3166-1-alpha-2, "AD" and Andorra |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2834-2834 |
codeMapping ISO-3166-1-alpha-2, "AE" and UnitedArabEmirates |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2644-2644 |
codeMapping ISO-3166-1-alpha-2, "AF" and Afghanistan |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2645-2645 |
codeMapping ISO-3166-1-alpha-2, "AG" and AntiguaAndBarbuda |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2842-2842 |
codeMapping ISO-3166-1-alpha-2, "AI" and Anguilla |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2646-2646 |
codeMapping ISO-3166-1-alpha-2, "AL" and Albania |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2647-2647 |
codeMapping ISO-3166-1-alpha-2, "AM" and Armenia |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2867-2867 |
codeMapping ISO-3166-1-alpha-2, "AN" and NetherlandsAntilles |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2648-2648 |
codeMapping ISO-3166-1-alpha-2, "AO" and Angola |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2843-2843 |
codeMapping ISO-3166-1-alpha-2, "AQ" and Antarctica |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2649-2649 |
codeMapping ISO-3166-1-alpha-2, "AR" and Argentina |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2841-2841 |
codeMapping ISO-3166-1-alpha-2, "AS" and AmericanSamoa |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2650-2650 |
codeMapping ISO-3166-1-alpha-2, "AT" and Austria |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2651-2651 |
codeMapping ISO-3166-1-alpha-2, "AU" and Australia |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2844-2844 |
codeMapping ISO-3166-1-alpha-2, "AW" and Aruba |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2652-2652 |
codeMapping ISO-3166-1-alpha-2, "AX" and AalandIslands |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2653-2653 |
codeMapping ISO-3166-1-alpha-2, "AZ" and Azerbaijan |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2654-2654 |
codeMapping ISO-3166-1-alpha-2, "BA" and BosniaAndHerzegovina |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2655-2655 |
codeMapping ISO-3166-1-alpha-2, "BB" and Barbados |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2656-2656 |
codeMapping ISO-3166-1-alpha-2, "BD" and Bangladesh |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2657-2657 |
codeMapping ISO-3166-1-alpha-2, "BE" and Belgium |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2658-2658 |
codeMapping ISO-3166-1-alpha-2, "BF" and BurkinaFaso |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2659-2659 |
codeMapping ISO-3166-1-alpha-2, "BG" and Bulgaria |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2660-2660 |
codeMapping ISO-3166-1-alpha-2, "BH" and Bahrain |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2661-2661 |
codeMapping ISO-3166-1-alpha-2, "BI" and Burundi |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
ISO-3166-1-alpha-2