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 44120-44120 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44119-44119 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44118-44118 |
|