No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9067-9067 | 子類 空間區域 and Region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9028-9028 | 子類 大氣地區 and 空間區域 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9073-9073 | 子類 外太空區域 and 空間區域 |