No TPTP formula. May not be expressible in strict first order. | Merge.kif 14230-14230 | 子類 StateOrProvince and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14231-14231 | 子類 StateOrProvince and LandArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 21-21 | 子類 美國國家 and StateOrProvince |