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 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 |
|