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. | Mid-level-ontology.kif 10359-10359 | Breath is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19981-19981 | Trembling is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19988-19988 | Reflexive process is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21377-21377 | Bleeding is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21470-21470 | Blushing is a subclass of autonomic process |
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. | Merge.kif 10240-10240 | Breathing is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10283-10283 | Digesting is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10306-10306 | Growth is a subclass of autonomic process |