No TPTP formula. May not be expressible in strict first order. | Merge.kif 14230-14230 | State or province is a subclass of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14231-14231 | State or province is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 21-21 | American state is a subclass of state or province |