|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2849-2849 | codeMapping ISO-3166-1-alpha-2, "CX" and ChristmasIsland |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2683-2683 | codeMapping ISO-3166-1-alpha-2, "CY" and Cyprus |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2684-2684 | codeMapping ISO-3166-1-alpha-2, "CZ" and CzechRepublic |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2685-2685 | codeMapping ISO-3166-1-alpha-2, "DE" and Germany |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2686-2686 | codeMapping ISO-3166-1-alpha-2, "DJ" and Djibouti |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2687-2687 | codeMapping ISO-3166-1-alpha-2, "DK" and Denmark |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2688-2688 | codeMapping ISO-3166-1-alpha-2, "DM" and Dominica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2689-2689 | codeMapping ISO-3166-1-alpha-2, "DO" and DominicanRepublic |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2690-2690 | codeMapping ISO-3166-1-alpha-2, "DZ" and Algeria |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2691-2691 | codeMapping ISO-3166-1-alpha-2, "EC" and Ecuador |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2692-2692 | codeMapping ISO-3166-1-alpha-2, "EE" and Estonia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2693-2693 | codeMapping ISO-3166-1-alpha-2, "EG" and Egypt |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2887-2887 | codeMapping ISO-3166-1-alpha-2, "EH" and WesternSahara |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2694-2694 | codeMapping ISO-3166-1-alpha-2, "ER" and Eritrea |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2815-2815 | codeMapping ISO-3166-1-alpha-2, "ES" and Spain |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2695-2695 | codeMapping ISO-3166-1-alpha-2, "ET" and Ethiopia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2696-2696 | codeMapping ISO-3166-1-alpha-2, "FI" and Finland |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2697-2697 | codeMapping ISO-3166-1-alpha-2, "FJ" and Fiji |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2852-2852 | codeMapping ISO-3166-1-alpha-2, "FK" and FalklandIslands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2698-2698 | codeMapping ISO-3166-1-alpha-2, "FM" and Micronesia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2853-2853 | codeMapping ISO-3166-1-alpha-2, "FO" and FaroeIslands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2699-2699 | codeMapping ISO-3166-1-alpha-2, "FR" and France |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2700-2700 | codeMapping ISO-3166-1-alpha-2, "GA" and Gabon |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2701-2701 | codeMapping ISO-3166-1-alpha-2, "GB" and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2702-2702 | codeMapping ISO-3166-1-alpha-2, "GD" and Grenada |
| 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