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 |