No TPTP formula. May not be expressible in strict first order. | Merge.kif 14230-14230 | 州或省 是 地缘政治区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14231-14231 | 州或省 是 土地面积 的 subclass |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 21-21 | 美国国家 是 州或省 的 subclass |