No TPTP formula. May not be expressible in strict first order. | Merge.kif 10169-10169 | 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 10487-10487 | Coagulation is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10529-10529 | 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 10551-10551 | 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 10715-10715 | 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 11000-11000 | Sunburn is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11017-11017 | Tanning is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11540-11540 | Ossification is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12385-12385 | Inflammation is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23872-23872 | Menstruation is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23964-23964 | Conceiving is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24030-24030 | Organification is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24041-24041 | 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 |