No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9067-9067 | 空间区域 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9028-9028 | 大气地区 是 空间区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9073-9073 | 外太空区域 是 空间区域 的 subclass |