Palestine(palestine)![]() | ![]() | Canaan, Holy_Land, Palestine, Promised_Land |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 756-756 | Palestine is a dependent of united kingdom |
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 | Palestine is an instance of overseas area |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44089-44089 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44088-44088 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44087-44087 |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1918-1918 | JesusOfNazareth is located at palestine holds during the time of existence of JesusOfNazareth |
![]() |
![]() |