|
|
  BakaAlGarbiyehIsrael
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1491-1491 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3410-3410 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3299-3299 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2590-2590 | geographicSubregion BakaAlGarbiyehIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1490-1490 | BakaAlGarbiyehIsrael e' uma instancia de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2591-2591 | BakaAlGarbiyehIsrael se chama nome "Baka al-Garbiyeh" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9618-9618 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9617-9617 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9616-9616 |
|
|
|
