No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3716-3716 |
claimedTerritory GazaStrip and PalestinianLiberationOrganization |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3724-3724 |
claimedTerritory WestBank and PalestinianLiberationOrganization |
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 |
|