No TPTP formula. May not be expressible in strict first order. | Merge.kif 10180-10180 | Physiologic process is a subclass of biological process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10185-10185 | Autonomic process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10206-10206 | 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 |