|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3320-3320 | geographicSubregion NokdimTekoaRdWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3336-3336 | geographicSubregion OfraWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3363-3363 | geographicSubregion OtnielWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3365-3365 | geographicSubregion OtzarinWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3415-3415 | geographicSubregion RamaJunctionWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3419-3419 | geographicSubregion RamallahWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3423-3423 | geographicSubregion RaminWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3472-3472 | geographicSubregion SamariaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3513-3513 | geographicSubregion ShadmotMeholaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3515-3515 | geographicSubregion ShaveiShomronWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3519-3519 | geographicSubregion ShiloWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3531-3531 | geographicSubregion SilatADaharWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3560-3560 | geographicSubregion SusiyaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3576-3576 | geographicSubregion TekoaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3590-3590 | geographicSubregion TenaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3616-3616 | geographicSubregion TulkaremWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3618-3618 | geographicSubregion TulkarmWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3665-3665 | geographicSubregion WadiKeltWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3676-3676 | geographicSubregion YaAbadWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3684-3684 | geographicSubregion YitzharWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3703-3703 | geographicSubregion ZeifIntersectionWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4015-4015 | WestBank se chama nome "West Bank" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62727-62727 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62726-62726 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62725-62725 | |
| 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