No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3716-3716 |
巴勒斯坦解放組織 是 加沙地帶 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3724-3724 |
巴勒斯坦解放組織 是 西方銀行 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44118-44118 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44117-44117 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44116-44116 |
|