PhysiologicProcess(physiologic process) | amelogenesis, arousal, autoregulation, bacteriostasis, bat, bawl, be_full, blink, blink_away, blub, blubber, body, circadian, conglutination, control, convalescence, cry, flutter, galvanisation, galvanization, gestational, hasten, healing, induce, life_cycle, lysis, mewl, motor_control, nictate, nictitate, palpebrate, personify, physiologic, physiological, physiology, progestational, pule, quickening, rally, recovery, recuperation, rousing, rush, sniffle, snivel, snuffle, sob, squinch, squint, stimulate... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2896-2897 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10160-10161 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1645-1646 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10158-10158 | Physiologic process is a subclass of biological process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10385-10385 | Pathologic process is disjoint from physiologic process |
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. | Merge.kif 10184-10184 | Organism process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | Physiological response to emotion process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1074-1074 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1359-1359 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 752-752 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 284-284 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 287-287 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2436-2436 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 704-704 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 323-323 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 773-773 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 288-288 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13469-13469 | The number 1 argument of impairment is a subclass of physiologic process |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21637-21644 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14963-14968 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2067-2074 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2085-2092 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2103-2110 |
|