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