|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2703-2703 | codeMapping ISO-3166-1-alpha-2, "GE" and RepublicOfGeorgia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2854-2854 | codeMapping ISO-3166-1-alpha-2, "GF" and FrenchGuiana |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2704-2704 | codeMapping ISO-3166-1-alpha-2, "GG" and Guernsey |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2705-2705 | codeMapping ISO-3166-1-alpha-2, "GH" and Ghana |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2857-2857 | codeMapping ISO-3166-1-alpha-2, "GI" and Gibraltar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2858-2858 | codeMapping ISO-3166-1-alpha-2, "GL" and Greenland |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2706-2706 | codeMapping ISO-3166-1-alpha-2, "GM" and Gambia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2707-2707 | codeMapping ISO-3166-1-alpha-2, "GN" and Guinea |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2859-2859 | codeMapping ISO-3166-1-alpha-2, "GP" and Guadeloupe |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2708-2708 | codeMapping ISO-3166-1-alpha-2, "GQ" and EquatorialGuinea |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2709-2709 | codeMapping ISO-3166-1-alpha-2, "GR" and Greece |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2878-2878 | codeMapping ISO-3166-1-alpha-2, "GS" and SouthGeorgiaAndTheSouthSandwichIslands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2710-2710 | codeMapping ISO-3166-1-alpha-2, "GT" and Guatemala |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2860-2860 | codeMapping ISO-3166-1-alpha-2, "GU" and Guam |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2711-2711 | codeMapping ISO-3166-1-alpha-2, "GW" and GuineaBissau |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2712-2712 | codeMapping ISO-3166-1-alpha-2, "GY" and Guyana |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2862-2862 | codeMapping ISO-3166-1-alpha-2, "HK" and HongKong |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2861-2861 | codeMapping ISO-3166-1-alpha-2, "HM" and HeardIslandAndMcDonaldIslands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2713-2713 | codeMapping ISO-3166-1-alpha-2, "HN" and Honduras |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2714-2714 | codeMapping ISO-3166-1-alpha-2, "HR" and Croatia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2715-2715 | codeMapping ISO-3166-1-alpha-2, "HT" and Haiti |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2716-2716 | codeMapping ISO-3166-1-alpha-2, "HU" and Hungary |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2717-2717 | codeMapping ISO-3166-1-alpha-2, "ID" and Indonesia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2718-2718 | codeMapping ISO-3166-1-alpha-2, "IE" and Ireland |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2719-2719 | codeMapping ISO-3166-1-alpha-2, "IL" and Israel |
| 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