No TPTP formula. May not be expressible in strict first order. | Merge.kif 10205-10205 | Organ or tissue process is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10514-10514 | Coagulation is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10556-10556 | Muscular contraction is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10578-10578 | Muscle relaxing is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10742-10742 | Heart beat is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11027-11027 | Sunburn is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11044-11044 | Tanning is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11567-11567 | Ossification is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12412-12412 | Inflammation is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23929-23929 | Menstruation is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24021-24021 | Conceiving is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24087-24087 | Organification is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24098-24098 | Biological conception is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2809-2809 | Tachyarrhythmia is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2829-2829 | Bradycardia is a subclass of organ or tissue process |