No TPTP formula. May not be expressible in strict first order. | Merge.kif 10158-10158 | Physiologic process is a subclass of biological process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10163-10163 | Autonomic process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10184-10184 | Organism process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | Physiological response to emotion process is a subclass of physiologic process |