TreeView Knowledge Base Browser

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 10156-10156
(documentation BiologicalProcess JapaneseLanguage "Process は、Organism に組み込まれている。")	japanese_format.kif 1643-1644
(subclass BiologicalProcess InternalChange)	Merge.kif 10154-10154	BiologicalProcess ist eine teilkategorie von InternalChange

appearance as argument number 2

(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13492-13492	Die werte die ImpairmentFn zurueckgibt sind teilkategorien von BiologicalProcess
(subclass Fermentation BiologicalProcess)	Food.kif 3542-3542	Fermentation ist eine teilkategorie von BiologicalProcess
(subclass Metabolism BiologicalProcess)	Mid-level-ontology.kif 10079-10079	Metabolism ist eine teilkategorie von BiologicalProcess
(subclass NerveFiring BiologicalProcess)	Anatomy.kif 1899-1899	NerveFiring ist eine teilkategorie von BiologicalProcess
(subclass PathologicProcess BiologicalProcess)	Merge.kif 10406-10406	PathologicProcess ist eine teilkategorie von BiologicalProcess
(subclass PhysiologicProcess BiologicalProcess)	Merge.kif 10180-10180	PhysiologicProcess ist eine teilkategorie von BiologicalProcess
(subclass PsychologicalProcess BiologicalProcess)	Merge.kif 10393-10393	PsychologicalProcess ist eine teilkategorie von BiologicalProcess
(subclass ViralCellInvasion BiologicalProcess)	VirusProteinAndCellPart.kif 16-16	ViralCellInvasion ist eine teilkategorie von BiologicalProcess
(termFormat ChineseLanguage BiologicalProcess "生物过程")	chinese_format.kif 1073-1073
(termFormat EnglishLanguage BiologicalProcess "biological process")	english_format.kif 1357-1357
(termFormat FrenchLanguage BiologicalProcess "processus biologique")	french_format.kif 751-751
(termFormat Hindi BiologicalProcess "jEvika prakriyaa ")	terms-hindi.txt 283-283
(termFormat ItalianLanguage BiologicalProcess "ProcesoBiologico")	terms-it.txt 286-286
(termFormat JapaneseLanguage BiologicalProcess "生物学的プロセス")	japanese_format.kif 2435-2435
(termFormat PortugueseLanguage BiologicalProcess "Processo Biologico")	portuguese_format.kif 703-703
(termFormat cz BiologicalProcess "biological process")	terms-cz.txt 322-322
(termFormat ro BiologicalProcess "proces biologic")	relations-ro.kif 772-772
(termFormat tg BiologicalProcess "paraan ng buhay")	terms-tg.txt 287-287

appearance as argument number 3

(domain lifeStageAchieved 1 BiologicalProcess)

VirusProteinAndCellPart.kif 222-222

Die Zahl 1 Argument von lifeStageAchieved ist ein fall von BiologicalProcess %n{nicht}

antecedent

(=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism))	Merge.kif 10165-10169	Wenn Process ist ein fall von BiologicalProcess %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann AutonomousAgent ist ein fall von Organism %n{nicht}
(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ))))	Merge.kif 10158-10163	Wenn Process ist ein fall von BiologicalProcess %n{nicht}, dann es gibt Object um Object ist ein fall von Organism %n{nicht} und eventLocated Process and ** 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 2162-2175	Wenn AutonomousAgent ist ein fall von Animal %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von AutonomousAgent nicht, dann es gibt Transfer und Object um Transfer ist ein fall von BiologicalProcess %n{nicht} und Transfer ist ein fall von Removing %n{nicht} und Transfer beginnet an AutonomousAgent %n{nicht} und Object ist ein fall von Sewage %n{nicht} und Transfer ist der agent von AutonomousAgent %n{nicht} und objectTransferred Transfer and ** 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 654-668	Wenn Object ist ein fall von Gene %n{nicht} und Object befindet sich an %n{nicht} und Object ist ein fall von Cell %n{nicht}, dann es gibt Process, Object, and und Object um Process ist ein fall von BiologicalProcess %n{nicht} und eventLocated Process and Object und Process beginnet an Object %n{nicht} und Object ist ein resultat von Process %n{nicht} und Object ist ein fall von Nucleotide %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von RNAMolecule %n{nicht} und ** Object befindet sich an %n{nicht}
(=> (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 12210-12219	Wenn secretesSubstance OrganicObject and NaturalSubstance und Object ist ein fall von OrganicObject %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von BiologicalProcess %n{nicht} und eventLocated Process and Object und Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von NaturalSubstance %n{nicht}
(=> (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	Wenn Object ist ein fall von ChemicalAgent %n{nicht}, dann es gibt nicht Object, Process, and und Object um Object ist ein fall von Organism %n{nicht} und Process ist ein fall von BiologicalProcess %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein resultat von Process %n{nicht} und Object ist eine genaue kopie von Object
(=> (instance ?O Organism) (capability BiologicalProcess experiencer ?O))	Merge.kif 10176-10178	Wenn Object ist ein fall von Organism %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle experiencer BiologicalProcess zu tun
(=> (instance ?O Organism) (not (capability BiologicalProcess agent ?O)))	Merge.kif 10171-10174	Wenn Object ist ein fall von Organism %n{nicht}, dann ** Object ist faehig nicht, in der Rolle agent BiologicalProcess zu tun
(=> (instance ?S Cholesterol) (exists (?P ?L) (and (instance ?P BiologicalProcess) (eventLocated ?P ?L) (instance ?L Liver) (result ?P ?S))))	Mid-level-ontology.kif 8711-8718	Wenn Entity ist ein fall von Cholesterol %n{nicht}, dann es gibt Process und Object um Process ist ein fall von BiologicalProcess %n{nicht} und eventLocated Process and Object und Object ist ein fall von Liver %n{nicht} und Entity ist ein resultat von Process %n{nicht}
(=> (instance ?SUBSTANCE Mycotoxin) (exists (?FUNGUS ?PROCESS) (and (instance ?FUNGUS FungalAgent) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?FUNGUS) (result ?PROCESS ?SUBSTANCE))))	WMD.kif 221-228	Wenn Entity ist ein fall von Mycotoxin %n{nicht}, dann es gibt Object und Process um Object ist ein fall von FungalAgent %n{nicht} und Process ist ein fall von BiologicalProcess %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein resultat von Process %n{nicht}
(=> (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	Wenn Object ist ein fall von Toxin %n{nicht}, dann es gibt Object und Process um Object ist ein fall von ToxicOrganism %n{nicht} und Process ist ein fall von BiologicalProcess %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein resultat von Process %n{nicht} oder es gibt Object um Object ist ein resultat von Process %n{nicht} und Object ist eine genaue kopie von 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	Wenn secretesToxin Organism and Toxin, dann fuer alle AutonomousAgent wenn AutonomousAgent ist ein fall von Organism %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von BiologicalProcess %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von ** Toxin %n{nicht}

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

KB Term:			Term intersection

English Word: