No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 755-755 |
Palestine est une instance de OverseasArea |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 502-502 |
Les valeurs retourn�es par OverseasAreaFn sont des sous-classes de OverseasArea |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 519-519 |
BritishCrownColony est une sous-classe de OverseasArea |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 513-513 |
UnincorporatedUnitedStatesTerritory est une sous-classe de OverseasArea |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43800-43800 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43799-43799 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43798-43798 |
|