No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2980-2980 |
西方銀行 是 JerusalemPalestine 的 capital 城市 |
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 |
JerusalemPalestine 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2991-2991 |
例 JerusalemPalestine and City |