AutonomicProcess
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10164-10164 | 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 10166-10167 | |
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 10163-10163 | 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 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. | Mid-level-ontology.kif 10359-10359 | Breath 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 |
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. | 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 19981-19981 | 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 |
|