AutonomicProcess
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10186-10186 | 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 10188-10189 | |
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 9897-9897 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10185-10185 | 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 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. | Mid-level-ontology.kif 10358-10358 | Breath 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 |
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. | 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 19980-19980 | Trembling is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9300-9300 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9299-9299 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9298-9298 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4230-4236 |
|