| ShaveiShomronWestBank(shavei shomron west bank)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2314-2314 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3601-3601 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3376-3376 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3515-3515 | Shavei shomron west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2313-2313 | Shavei shomron west bank is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3516-3516 | Shavei shomron west bank has name "Shavei Shomron" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52443-52443 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52442-52442 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52441-52441 |
|
|
|