codeMapping |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2662-2662 | "BJ" in ISO-3166-1-alpha-2 denotes benin |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2845-2845 | "BM" in ISO-3166-1-alpha-2 denotes bermuda |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2663-2663 | "BN" in ISO-3166-1-alpha-2 denotes brunei |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2664-2664 | "BO" in ISO-3166-1-alpha-2 denotes bolivia |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2665-2665 | "BR" in ISO-3166-1-alpha-2 denotes brazil |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2666-2666 | "BS" in ISO-3166-1-alpha-2 denotes the bahamas |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2667-2667 | "BT" in ISO-3166-1-alpha-2 denotes bhutan |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2846-2846 | "BV" in ISO-3166-1-alpha-2 denotes bouvet island |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2668-2668 | "BW" in ISO-3166-1-alpha-2 denotes botswana |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2669-2669 | "BY" in ISO-3166-1-alpha-2 denotes belarus |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2670-2670 | "BZ" in ISO-3166-1-alpha-2 denotes belize |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2671-2671 | "CA" in ISO-3166-1-alpha-2 denotes canada |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2850-2850 | "CC" in ISO-3166-1-alpha-2 denotes cocos keeling islands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2672-2672 | "CD" in ISO-3166-1-alpha-2 denotes democratic republic of the congo |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2673-2673 | "CF" in ISO-3166-1-alpha-2 denotes central african republic |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2819-2819 | "CH" in ISO-3166-1-alpha-2 denotes switzerland |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2675-2675 | "CI" in ISO-3166-1-alpha-2 denotes coteD ivoire |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2851-2851 | "CK" in ISO-3166-1-alpha-2 denotes cook islands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2676-2676 | "CL" in ISO-3166-1-alpha-2 denotes chile |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2677-2677 | "CM" in ISO-3166-1-alpha-2 denotes cameroon |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2678-2678 | "CN" in ISO-3166-1-alpha-2 denotes china |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2679-2679 | "CO" in ISO-3166-1-alpha-2 denotes colombia |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2680-2680 | "CR" in ISO-3166-1-alpha-2 denotes costa rica |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2682-2682 | "CU" in ISO-3166-1-alpha-2 denotes cuba |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2681-2681 | "CV" in ISO-3166-1-alpha-2 denotes cape verde |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |