BiologicalProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BiologicalProcess

BiologicalProcess(biological process)

Fere_phenomenon, GSR, SNP, Tarchanoff_phenomenon, 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, bodily_function, bodily_process, body_process, brace, caenogenesis, cainogenesis, cathect, cenogenesis, cenogenetic, climax, come_to, coming, compost, conk, curvature...

appearance as argument number 1

(documentation BiologicalProcess ChineseLanguage "这是一个体现在一个 Organism 的 Process。")	chinese_format.kif 2895-2895
(documentation BiologicalProcess EnglishLanguage "A Process embodied in an Organism.")	Merge.kif 10296-10296
(documentation BiologicalProcess JapaneseLanguage "Process は、Organism に組み込まれている。")	japanese_format.kif 1643-1644
(subclass BiologicalProcess InternalChange)	Merge.kif 10294-10294	Biological process is a subclass of internal change

appearance as argument number 2

(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13646-13646	The values returned by impairment are subclasses of biological process
(subclass Fermentation BiologicalProcess)	Food.kif 3551-3551	Fermentation is a subclass of biological process
(subclass Metabolism BiologicalProcess)	Mid-level-ontology.kif 11403-11403	Metabolising is a subclass of biological process
(subclass NerveFiring BiologicalProcess)	Anatomy.kif 1933-1933	Nerve firing is a subclass of biological process
(subclass PathologicProcess BiologicalProcess)	Merge.kif 10546-10546	Pathologic process is a subclass of biological process
(subclass PhysiologicProcess BiologicalProcess)	Merge.kif 10320-10320	Physiologic process is a subclass of biological process
(subclass PsychologicalProcess BiologicalProcess)	Merge.kif 10533-10533	Psychological process is a subclass of biological process
(subclass ViralCellInvasion BiologicalProcess)	VirusProteinAndCellPart.kif 16-16	Viral cell invasion is a subclass of biological process
(termFormat ChineseLanguage BiologicalProcess "生物过程")	chinese_format.kif 1073-1073	Viral cell invasion is a subclass of biological process
(termFormat EnglishLanguage BiologicalProcess "biological process")	english_format.kif 1357-1357	Viral cell invasion is a subclass of biological process
(termFormat FrenchLanguage BiologicalProcess "processus biologique")	french_format.kif 751-751	Viral cell invasion is a subclass of biological process
(termFormat Hindi BiologicalProcess "jEvika prakriyaa ")	terms-hindi.txt 283-283	Viral cell invasion is a subclass of biological process
(termFormat ItalianLanguage BiologicalProcess "ProcesoBiologico")	terms-it.txt 286-286	Viral cell invasion is a subclass of biological process
(termFormat JapaneseLanguage BiologicalProcess "生物学的プロセス")	japanese_format.kif 2435-2435	Viral cell invasion is a subclass of biological process
(termFormat PortugueseLanguage BiologicalProcess "Processo Biologico")	portuguese_format.kif 703-703	Viral cell invasion is a subclass of biological process
(termFormat cz BiologicalProcess "biological process")	terms-cz.txt 322-322	Viral cell invasion is a subclass of biological process
(termFormat de BiologicalProcess "biologischer Prozess")	terms-de.txt 581-581	Viral cell invasion is a subclass of biological process
(termFormat ro BiologicalProcess "proces biologic")	relations-ro.kif 772-772	Viral cell invasion is a subclass of biological process
(termFormat tg BiologicalProcess "paraan ng buhay")	terms-tg.txt 287-287	Viral cell invasion is a subclass of biological process

appearance as argument number 3

(domain lifeStageAchieved 1 BiologicalProcess)

VirusProteinAndCellPart.kif 226-226

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

antecedent

(=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism))	Merge.kif 10305-10309	If a process is an instance of biological process and an agent experiences the process, then the agent is an instance of organism
(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ))))	Merge.kif 10298-10303	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

(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W))))	Mid-level-ontology.kif 2625-2638	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
(=> (and (instance ?G Gene) (located ?G ?C) (instance ?C Cell)) (exists (?B ?N ?R) (and (instance ?B BiologicalProcess) (eventLocated ?B ?C) (origin ?B ?G) (result ?B ?N) (instance ?N Nucleotide) (part ?N ?R) (instance ?R RNAMolecule) (located ?R ?C))))	VirusProteinAndCellPart.kif 661-675	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
(=> (and (secretesSubstance ?O ?S) (instance ?I1 ?O)) (exists (?P ?I2) (and (instance ?P BiologicalProcess) (eventLocated ?P ?I1) (result ?P ?I2) (instance ?I2 ?S))))	Mid-level-ontology.kif 13536-13545	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
(=> (instance ?AGENT ChemicalAgent) (not (exists (?ORGANISM ?PROCESS ?SUBSTANCE) (and (instance ?ORGANISM Organism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (result ?PROCESS ?SUBSTANCE) (copy ?SUBSTANCE ?AGENT)))))	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
(=> (instance ?O Organism) (capability BiologicalProcess experiencer ?O))	Merge.kif 10316-10318	If an object is an instance of organism, then the object is capable of doing biological process as a experiencer
(=> (instance ?O Organism) (not (capability BiologicalProcess agent ?O)))	Merge.kif 10311-10314	If an object is an instance of organism, then the object is not capable of doing biological process as a agent
(=> (instance ?S Cholesterol) (exists (?P ?L) (and (instance ?P BiologicalProcess) (eventLocated ?P ?L) (instance ?L Liver) (result ?P ?S))))	Mid-level-ontology.kif 9913-9920	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
(=> (instance ?SUBSTANCE Mycotoxin) (exists (?FUNGUS ?PROCESS) (and (instance ?FUNGUS FungalAgent) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?FUNGUS) (result ?PROCESS ?SUBSTANCE))))	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
(=> (instance ?SUBSTANCE Toxin) (exists (?ORGANISM ?PROCESS) (and (instance ?ORGANISM ToxicOrganism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (or (result ?PROCESS ?SUBSTANCE) (exists (?RESULT) (and (result ?PROCESS ?RESULT) (copy ?SUBSTANCE ?RESULT)))))))	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
(=> (secretesToxin ?ORGANISM ?TOXIN) (forall (?INSTANCE1) (=> (instance ?INSTANCE1 ?ORGANISM) (exists (?PROCESS ?INSTANCE2) (and (instance ?PROCESS BiologicalProcess) (experiencer ?PROCESS ?INSTANCE1) (result ?PROCESS ?INSTANCE2) (instance ?INSTANCE2 ?TOXIN))))))	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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