TreeView Knowledge Base Browser - BiologicalProcess

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

BiologicalProcess

Sigma KEE - BiologicalProcess

BiologicalProcess(biological process)

Fere_phenomenon, GSR, SNP, Tarchanoff_phenomenon, ache, activity, affinity, aftereffect, allergen, alternation_of_generations, anamorphic, anamorphism, anamorphosis, anaphase, anaphasic, animate, antagonism, anthropogenesis, anthropogeny, antisepsis, arouse, asepsis, atavism, autolysis, bacteriolysis, bacterise, bacterize, biochemical_mechanism, biogenesis, biogenic, biogenous, biological_process, biology, biosynthesis, black_out, blistering, blow, bodily_function, bodily_process, body_process, brace, caenogenesis, cainogenesis, cathect, cenogenesis, cenogenetic, climax, come_to, coming, compost...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2895-2895
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10156-10156
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1643-1644
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10154-10154	Biological process is a subclass of internal change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13492-13492	The values returned by impairment are subclasses of biological process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3542-3542	Fermentation is a subclass of biological process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10079-10079	Metabolising is a subclass of biological process
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1899-1899	NerveFiring is a subclass of biological process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10406-10406	Pathologic process is a subclass of biological process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10180-10180	Physiologic process is a subclass of biological process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10393-10393	Psychological process is a subclass of biological process
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 16-16	Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1073-1073
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1357-1357
No TPTP formula. May not be expressible in strict first order.	french_format.kif 751-751
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 283-283
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 286-286
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2435-2435
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 703-703
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 322-322
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 772-772
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 287-287

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 222-222

The number 1 argument of life stage achieved is an instance of biological process

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10165-10169	If a process is an instance of biological process and an agent experiences the process, then the agent is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10158-10163	If a process is an instance of biological process, then there exists an object such that the object is an instance of organism and the process is located at the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	If an agent is an instance of animal and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the agent, then there exist a transfer and an object such that the transfer is an instance of biological process and the transfer is an instance of removing and the transfer originates at the agent and the object is an instance of sewage and the agent is an agent of the transfer and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 654-668	If an object is an instance of gene and the object is located at another object and the other object is an instance of cell, then there exist a process, a third object and a fourth object such that the process is an instance of biological process and the process is located at the other object and the process originates at the object and the third object is a result of the process and the third object is an instance of Nucleotide and the third object is a part of the fourth object and the fourth object is an instance of RNA molecule and the fourth object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12210-12219	If a kind of natural substance is a secretes substance of a kind of organic object and an object is an instance of a kind of organic object, then there exist a process and an entity such that the process is an instance of biological process and the process is located at the object and the entity is a result of the process and the entity is an instance of a kind of natural substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	If an object is an instance of chemical agent, then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10176-10178	If an object is an instance of organism, then the object is capable of doing biological process as a experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10171-10174	If an object is an instance of organism, then the object is not capable of doing biological process as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8711-8718	If an entity is an instance of cholesterol, then there exist a process and an object such that the process is an instance of biological process and the process is located at the object and the object is an instance of liver and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 221-228	If an entity is an instance of mycotoxin, then there exist an object and a process such that the object is an instance of fungal agent and the process is an instance of biological process and the object is an instrument for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 166-178	If an object is an instance of toxin, then there exist another object and a process such that the other object is an instance of toxic organism and the process is an instance of biological process and the other object is an instrument for the process and the object is a result of the process or there exists a third object such that the third object is a result of the process and the object is a copy of the third object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 988-998	If a kind of toxin is a secretes toxin of a kind of organism, then for all an agent if the agent is an instance of a kind of organism, then there exist a process and an entity such that the process is an instance of biological process and the agent experiences the process and the entity is a result of the process and the entity is an instance of a kind of toxin

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