No TPTP formula. May not be expressible in strict first order. | Merge.kif 10163-10163 | 自主过程 是 生理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10359-10359 | Breath 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19981-19981 | 发抖 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19988-19988 | 反思过程 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21377-21377 | 流血的 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21470-21470 | 脸红 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10169-10169 | 器官或身体组织过程 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10240-10240 | 呼吸 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10283-10283 | 消化 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10306-10306 | 生长 是 自主过程 的 subclass |