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


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