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. | Mid-level-ontology.kif 10358-10358 | Breath is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19980-19980 | Trembling is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19987-19987 | Reflexive process is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21376-21376 | Bleeding is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21469-21469 | Blushing is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10191-10191 | Organ or tissue process is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10262-10262 | Breathing is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10305-10305 | Digesting is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10328-10328 | Growth is a subclass of autonomic process |