|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2897-2897 | Haifa israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2919-2919 | Hermesh israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2923-2923 | Herzliya israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2930-2930 | Hodaya junction israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2933-2933 | Holon junction israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2961-2961 | Jaffa israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2978-2978 | Jerusalem israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3027-3027 | Karkur israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3043-3043 | Kfar ba aneh israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3055-3055 | Kfar darom netzarim israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3047-3047 | Kfar hess israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3049-3049 | Kfar saba israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3065-3065 | Kibbutz gal ed israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3067-3067 | Kibbutz merav israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3069-3069 | Kibbutz sheluhot israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3079-3079 | Kiryat motzkin israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3160-3160 | Maccabim israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3190-3190 | Maon israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3210-3210 | Mea shearim israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3220-3220 | Megido israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3222-3222 | Mehola israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3224-3224 | Mekholah israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3230-3230 | Metulla israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3232-3232 | Metzer israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3254-3254 | Moshav hagor israel is a geographic subregion of israel |
| 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