|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 605-605 | Cambodia e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 196-196 | Cameroon e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 409-409 | Canada e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 198-198 | CapeVerde e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 88-88 | CentralAfricanRepublic e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 90-90 | Chad e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1210-1210 | Chechnya e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 516-516 | Chile e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 546-546 | China e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 504-504 | Colombia e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 159-159 | Comoros e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 475-475 | CostaRica e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 200-200 | CoteDIvoire e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 377-377 | Croatia e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 438-438 | Cuba e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 243-243 | Cyprus e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 278-278 | CzechRepublic e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 92-92 | DemocraticRepublicOfTheCongo e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 98-98 | Djibouti e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 441-441 | Dominica e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 443-443 | DominicanRepublic e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 609-609 | EastTimor e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 523-523 | Ecuador e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 119-119 | Egypt e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 477-477 | ElSalvador 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