No TPTP formula. May not be expressible in strict first order. | Merge.kif 1231-1239 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1226-1226 | 躯体性物体 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2612-2612 | 声纳 是 躯体性物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5000-5000 | 气泡 是 躯体性物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5027-5027 | 巢 是 躯体性物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10118-10118 | Organelle 是 躯体性物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1327-1327 | 有内用物体 是 躯体性物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14346-14346 | 有机物体 是 躯体性物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1356-1356 | 房地产 是 躯体性物体 的 subclass |