|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2957-2957 | geographicSubregion ItamarWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2997-2997 | geographicSubregion JMainWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2976-2976 | geographicSubregion JeninWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2979-2979 | geographicSubregion JerusalemPalestine and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3011-3011 | geographicSubregion KafrAkabWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3013-3013 | geographicSubregion KafrIdnaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3015-3015 | geographicSubregion KalkilyaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3029-3029 | geographicSubregion KarmeiTzurWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3031-3031 | geographicSubregion KarneiShomronWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3041-3041 | geographicSubregion KedumimSettlementWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3038-3038 | geographicSubregion KedumimWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3051-3051 | geographicSubregion KfarTzurifWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3077-3077 | geographicSubregion KiryatArbaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3081-3081 | geographicSubregion KiryatNetafimWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3158-3158 | geographicSubregion MaAlehMichmashWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3194-3194 | geographicSubregion MarSabaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3204-3204 | geographicSubregion MashaWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3214-3214 | geographicSubregion MechoraWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3239-3239 | geographicSubregion MinharotRoadWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3245-3245 | geographicSubregion ModiinIllitWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3256-3256 | geographicSubregion MoshavTomerWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3274-3274 | geographicSubregion NaAlinWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3276-3276 | geographicSubregion NablusWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3301-3301 | geographicSubregion NeveDanielWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3315-3315 | geographicSubregion NitzaneiOzWestBank and WestBank |
| 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