|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2957-2957 | Itamar west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2997-2997 | J main west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2976-2976 | Jenin west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2979-2979 | Jerusalem Palestine is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3011-3011 | Kafr akab west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3013-3013 | Kafr idna west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3015-3015 | Kalkilya west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3029-3029 | Karmei tzur west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3031-3031 | Karnei shomron west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3041-3041 | Kedumim settlement west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3038-3038 | Kedumim west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3051-3051 | Kfar tzurif west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3077-3077 | Kiryat arba west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3081-3081 | Kiryat netafim west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3158-3158 | Ma aleh michmash west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3194-3194 | Mar saba west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3204-3204 | Masha west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3214-3214 | Mechora west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3239-3239 | Minharot road west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3245-3245 | Modiin illit west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3256-3256 | Moshav tomer west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3274-3274 | Na alin west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3276-3276 | Nablus west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3301-3301 | Neve daniel west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3315-3315 | Nitzanei oz west bank is a geographic subregion of west bank |
| 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