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 10182-10183 | |
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 10180-10180 | 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 10407-10407 | Pathologic process is disjoint from physiologic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10185-10185 | Autonomic process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10206-10206 | 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 13491-13491 | 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 21636-21643 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14985-14990 |
|
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 |
|