|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 202-202 | Equatorial guinea is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 100-100 | Eritrea is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 299-299 | Estonia is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 102-102 | Ethiopia is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 667-667 | Fiji is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 204-204 | Gabon is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 206-206 | Gambia is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 245-245 | Gaza strip is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 208-208 | Ghana is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 445-445 | Grenada is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 479-479 | Guatemala is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 210-210 | Guinea is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 212-212 | Guinea bissau is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 507-507 | Guyana is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 448-448 | Haiti is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 481-481 | Honduras is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 282-282 | Hungary is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 575-575 | India is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 611-611 | Indonesia is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 247-247 | Iran is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 249-249 | Iraq is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 251-251 | Israel is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 450-450 | Jamaica is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 549-549 | Japan is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 253-253 | Jordan is an instance of nation |
| 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