| AutonomicProcess(autonomic process)
| | autonomic, inborn_reflex, innate_reflex, instinctive_reflex, physiological_reaction, reflex, reflex_action, reflex_response, sympathetic, unconditioned_reflex |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10148-10148 | Autonomic process is disjoint from intentional process |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2898-2899 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10150-10151 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1647-1648 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9898-9898 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10147-10147 | Autonomic process is a subclass of physiologic process |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21208-21208 | Bleeding is a subclass of autonomic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21300-21300 | Blushing is a subclass of autonomic process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10224-10224 | Breathing is a subclass of autonomic process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10267-10267 | Digesting is a subclass of autonomic process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10290-10290 | Growth is a subclass of autonomic process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10153-10153 | 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 19821-19821 | Reflexive process is a subclass of autonomic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19814-19814 | Trembling is a subclass of autonomic process |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9305-9305 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9304-9304 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9303-9303 |
|
|
|