No TPTP formula. May not be expressible in strict first order. | Merge.kif 11292-11292 | 转移 是 易位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5520-5520 | 换衣服 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6588-6588 | Swallowing 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6647-6647 | 邮件 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6651-6651 | 讯息 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17534-17534 | 浇注 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17603-17603 | 喷 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18055-18055 | 搬家 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10247-10247 | 消化 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11366-11366 | 携带 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11378-11378 | 移除 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11399-11399 | 放 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11448-11448 | 代替 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11468-11468 | 驱动 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11480-11480 | 接触 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11518-11518 | 释放 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1169-1169 | IntraosseousInfusion 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 526-526 | DeliveryService 是 转移 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2382-2382 | ElectricTransmission 是 转移 的 subclass |