No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3716-3716 |
Palestinian liberation organization is a claimed territory of gaza strip |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3724-3724 |
Palestinian liberation organization is a claimed territory of west bank |
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 |
|