No TPTP formula. May not be expressible in strict first order. | Merge.kif 10185-10185 | 自主过程 是 生理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10358-10358 | Breath 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19980-19980 | 发抖 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19987-19987 | 反思过程 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21376-21376 | 流血的 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21469-21469 | 脸红 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10191-10191 | 器官或身体组织过程 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10262-10262 | 呼吸 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10305-10305 | 消化 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10328-10328 | 生长 是 自主过程 的 subclass |