|
|
  AfulaIsrael
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1401-1401 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3389-3389 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3292-3292 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2502-2502 | geographicSubregion AfulaIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1400-1400 | AfulaIsrael e' uma instancia de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2503-2503 | AfulaIsrael se chama nome "Afula" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5784-5784 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5783-5783 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5782-5782 |
|
|
|
