No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2980-2980 |
West bank is a capital city of Jerusalem Palestine |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2982-2984 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2986-2988 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2979-2979 |
Jerusalem Palestine is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2991-2991 |
Jerusalem Palestine is an instance of city |