No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 755-755 |
Palestine is an instance of overseas area |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 502-502 |
The values returned by overseas area are subclasses of overseas area |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 519-519 |
British crown colony is a subclass of overseas area |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 513-513 |
Unincorporated united states territory is a subclass of overseas area |
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 |
|