No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 755-755 |
Palestine e' uma instancia de OverseasArea |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 502-502 |
Os valores retornados por OverseasAreaFn sao as sub-classes de OverseasArea |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 519-519 |
BritishCrownColony e' uma sub-classe de OverseasArea |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 513-513 |
UnincorporatedUnitedStatesTerritory e' uma sub-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 |
|