|
|
  ShaveiShomronWestBank
|
|
|
| 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 | geographicSubregion ShaveiShomronWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2313-2313 | ShaveiShomronWestBank e' uma instancia de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3516-3516 | ShaveiShomronWestBank se chama nome "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 |
|
|
|
