TreeView Knowledge Base Browser - PhysiologicProcess

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 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	If an entity is an instance of honey, then there exist a process and an agent such that the process is an instance of physiologic process and the agent is an agent of the process and the agent is an instance of bee and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14963-14968	If an entity is an instance of body part, then there exists a process such that the process is an instance of physiologic process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2067-2074	If an entity is an instance of excrement, then there exist a process and an agent such that the agent is an instance of organism and the process is an instance of physiologic process and the entity is a result of the process and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2085-2092	If an entity is an instance of feces, then there exist a process and an object such that the process is an instance of physiologic process and the object is an instrument for the process and the object is an instance of intestine and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2103-2110	If an entity is an instance of urine, then there exist a process and an object such that the process is an instance of physiologic process and the object is an instrument for the process and the object is an instance of kidney and the entity is a result of the process

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