|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3268-3268 | Mus mus israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3280-3280 | Naharaim israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3282-3282 | Nahariya israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3295-3295 | Netanya israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3303-3303 | Neve yamin israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3317-3317 | Nitzanim israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3350-3350 | Or yehuda israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3361-3361 | Othniel junction israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3393-3393 | Petah tikvah israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3421-3421 | Ramat gan israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3425-3425 | Ramle israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3438-3438 | Rishon le zion israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3501-3501 | Sanur israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3523-3523 | Shlomi israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3578-3578 | Tel aviv israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3582-3582 | Tel ha shomer junction israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3586-3586 | Tel rumeiyda israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3588-3588 | Telem israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3624-3624 | Um al fahm israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3663-3663 | Wadi ara israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3678-3678 | Yagur junction israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3680-3680 | Yehud israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3692-3692 | Zaita israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3705-3705 | Zekharya israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2580-2580 | Gaza strip meets 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