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. | Mid-level-ontology.kif 10486-10486 | Clotting 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10528-10528 | MuscularContraction 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10550-10550 | MuscleRelaxing 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10714-10714 | HeartBeat 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10999-10999 | Sunburn 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11016-11016 | Tanning 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11539-11539 | 骨化 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12384-12384 | Inflammation 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23871-23871 | 经期 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23963-23963 | Fertilisation 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24029-24029 | 有机化 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24040-24040 | 生物学概念 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2809-2809 | Tachycardia 是 器官或身体组织过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2829-2829 | Bradycardia 是 器官或身体组织过程 的 subclass |