Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysiologicProcess

Sigma KEE - PhysiologicProcess
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 10074-10075
No TPTP formula. May not be expressible in strict first order. Merge.kif 10072-10072 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 10298-10298 Pathologic process is disjoint from physiologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10077-10077 Autonomic process is a subclass of physiologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10098-10098 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

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13229-13229 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 21059-21066
No TPTP formula. May not be expressible in strict first order. Merge.kif 14699-14704
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2026-2033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2044-2051
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2062-2069


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners