|
|
  Palestine
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 756-756 | 巴勒斯坦 是 英国 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 757-759 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 649-649 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 755-755 | 巴勒斯坦 是 海外地区 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44112-44112 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44111-44111 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44110-44110 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1920-1920 | JesusOfNazareth 是 located 在 巴勒斯坦 在 JesusOfNazareth 出现 的 time holdsDuring |
|
|
|
