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 | 例 巴勒斯坦 and 海外地區 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44114-44114 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44113-44113 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44112-44112 |
statement |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1920-1920 | 持有期間 何時 JesusOfNazareth and 位於 JesusOfNazareth and 巴勒斯坦 |