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 9432-9432 | |
(subclass BiologicalProcess InternalChange) | Merge.kif 9430-9430 |
appearance as argument number 2 |
![]() |
(subclass Fermentation BiologicalProcess) | Food.kif 1009-1009 | |
(subclass PathologicProcess BiologicalProcess) | Merge.kif 9670-9670 | |
(subclass PhysiologicProcess BiologicalProcess) | Merge.kif 9447-9447 | |
(subclass PsychologicalProcess BiologicalProcess) | Merge.kif 9657-9657 | |
(subclass ViralCellInvasion BiologicalProcess) | VirusProteinAndCellPart.kif 16-16 | |
(termFormat ChineseLanguage BiologicalProcess "生物过程") | chinese_format.kif 1073-1073 | |
(termFormat EnglishLanguage BiologicalProcess "biological process") | english_format.kif 1362-1362 |
appearance as argument number 3 |
![]() |
(domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 177-177 |
antecedent |
![]() |
(=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism)) |
Merge.kif 9441-9445 | |
(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ)))) |
Merge.kif 9434-9439 |
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) (patient ?P ?W)))) |
Mid-level-ontology.kif 2616-2629 | |
(=> (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 459-468 | |
(=> (instance ?S Cholesterol) (exists (?P ?L) (and (instance ?P BiologicalProcess) (eventLocated ?P ?L) (instance ?L Liver) (result ?P ?S)))) |
Mid-level-ontology.kif 8391-8398 | |
(=> (instance ?SUBSTANCE Mycotoxin) (exists (?FUNGUS ?PROCESS) (and (instance ?FUNGUS FungalAgent) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?FUNGUS) (result ?PROCESS ?SUBSTANCE)))) |
WMD.kif 221-228 | |
(=> (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 | |
(=> (secretesSubstance ?O ?S) (forall (?I1) (=> (instance ?I1 ?O) (exists (?P ?I2) (and (instance ?P BiologicalProcess) (eventLocated ?P ?I1) (result ?P ?I2) (instance ?I2 ?S)))))) |
Mid-level-ontology.kif 10136-10146 | |
(=> (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 943-953 |
![]() |
![]() |