|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 202-202 | EquatorialGuinea e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 100-100 | Eritrea e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 299-299 | Estonia e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 102-102 | Ethiopia e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 667-667 | Fiji e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 204-204 | Gabon e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 206-206 | Gambia e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 245-245 | GazaStrip e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 208-208 | Ghana e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 445-445 | Grenada e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 479-479 | Guatemala e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 210-210 | Guinea e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 212-212 | GuineaBissau e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 507-507 | Guyana e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 448-448 | Haiti e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 481-481 | Honduras e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 282-282 | Hungary e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 575-575 | India e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 611-611 | Indonesia e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 247-247 | Iran e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 249-249 | Iraq e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 251-251 | Israel e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 450-450 | Jamaica e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 549-549 | Japan e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 253-253 | Jordan e' uma instancia de Nacao |
| 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