|
| 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 |
|
|
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