|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3403-3403 | geographicSubregion PuertoLlerasColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3456-3456 | geographicSubregion SabatenaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3476-3476 | geographicSubregion SanDiegoColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3480-3480 | geographicSubregion SanLuisColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3484-3484 | geographicSubregion SanPabloColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3492-3492 | geographicSubregion SantaMartaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3507-3507 | geographicSubregion SegoviaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3635-3635 | geographicSubregion UWaIndianReservationColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3630-3630 | geographicSubregion UrraColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3639-3639 | geographicSubregion ValleduparColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3649-3649 | geographicSubregion VillavicencioColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3688-3688 | geographicSubregion YopalColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3707-3707 | geographicSubregion ZuliaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4127-4127 | Colombia s'appele nom "Colombia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15642-15642 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15641-15641 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15640-15640 |
|
|
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