|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2849-2849 | "CX" in ISO-3166-1-alpha-2 denotes christmas island |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2683-2683 | "CY" in ISO-3166-1-alpha-2 denotes cyprus |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2684-2684 | "CZ" in ISO-3166-1-alpha-2 denotes czech republic |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2685-2685 | "DE" in ISO-3166-1-alpha-2 denotes germany |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2686-2686 | "DJ" in ISO-3166-1-alpha-2 denotes djibouti |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2687-2687 | "DK" in ISO-3166-1-alpha-2 denotes denmark |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2688-2688 | "DM" in ISO-3166-1-alpha-2 denotes dominica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2689-2689 | "DO" in ISO-3166-1-alpha-2 denotes dominican republic |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2690-2690 | "DZ" in ISO-3166-1-alpha-2 denotes algeria |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2691-2691 | "EC" in ISO-3166-1-alpha-2 denotes ecuador |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2692-2692 | "EE" in ISO-3166-1-alpha-2 denotes estonia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2693-2693 | "EG" in ISO-3166-1-alpha-2 denotes egypt |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2887-2887 | "EH" in ISO-3166-1-alpha-2 denotes western sahara |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2694-2694 | "ER" in ISO-3166-1-alpha-2 denotes eritrea |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2815-2815 | "ES" in ISO-3166-1-alpha-2 denotes spain |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2695-2695 | "ET" in ISO-3166-1-alpha-2 denotes ethiopia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2696-2696 | "FI" in ISO-3166-1-alpha-2 denotes finland |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2697-2697 | "FJ" in ISO-3166-1-alpha-2 denotes fiji |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2852-2852 | "FK" in ISO-3166-1-alpha-2 denotes falkland islands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2698-2698 | "FM" in ISO-3166-1-alpha-2 denotes micronesia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2853-2853 | "FO" in ISO-3166-1-alpha-2 denotes faroe islands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2699-2699 | "FR" in ISO-3166-1-alpha-2 denotes france |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2700-2700 | "GA" in ISO-3166-1-alpha-2 denotes gabon |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2701-2701 | "GB" in ISO-3166-1-alpha-2 denotes united kingdom |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2702-2702 | "GD" in ISO-3166-1-alpha-2 denotes 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