codeMapping |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2662-2662 | codeMapping ISO-3166-1-alpha-2, "BJ" and Benin |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2845-2845 | codeMapping ISO-3166-1-alpha-2, "BM" and Bermuda |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2663-2663 | codeMapping ISO-3166-1-alpha-2, "BN" and Brunei |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2664-2664 | codeMapping ISO-3166-1-alpha-2, "BO" and Bolivia |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2665-2665 | codeMapping ISO-3166-1-alpha-2, "BR" and Brazil |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2666-2666 | codeMapping ISO-3166-1-alpha-2, "BS" and TheBahamas |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2667-2667 | codeMapping ISO-3166-1-alpha-2, "BT" and Bhutan |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2846-2846 | codeMapping ISO-3166-1-alpha-2, "BV" and BouvetIsland |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2668-2668 | codeMapping ISO-3166-1-alpha-2, "BW" and Botswana |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2669-2669 | codeMapping ISO-3166-1-alpha-2, "BY" and Belarus |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2670-2670 | codeMapping ISO-3166-1-alpha-2, "BZ" and Belize |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2671-2671 | codeMapping ISO-3166-1-alpha-2, "CA" and Canada |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2850-2850 | codeMapping ISO-3166-1-alpha-2, "CC" and CocosKeelingIslands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2672-2672 | codeMapping ISO-3166-1-alpha-2, "CD" and DemocraticRepublicOfTheCongo |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2673-2673 | codeMapping ISO-3166-1-alpha-2, "CF" and CentralAfricanRepublic |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2819-2819 | codeMapping ISO-3166-1-alpha-2, "CH" and Switzerland |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2675-2675 | codeMapping ISO-3166-1-alpha-2, "CI" and CoteDIvoire |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2851-2851 | codeMapping ISO-3166-1-alpha-2, "CK" and CookIslands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2676-2676 | codeMapping ISO-3166-1-alpha-2, "CL" and Chile |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2677-2677 | codeMapping ISO-3166-1-alpha-2, "CM" and Cameroon |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2678-2678 | codeMapping ISO-3166-1-alpha-2, "CN" and China |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2679-2679 | codeMapping ISO-3166-1-alpha-2, "CO" and Colombia |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2680-2680 | codeMapping ISO-3166-1-alpha-2, "CR" and CostaRica |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2682-2682 | codeMapping ISO-3166-1-alpha-2, "CU" and Cuba |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2681-2681 | codeMapping ISO-3166-1-alpha-2, "CV" and CapeVerde |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |