| BiologicalProcess(生物学的プロセス) | |
| 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 10274-10274 | |
| (documentation BiologicalProcess JapaneseLanguage "Process は、Organism に組み込まれて いる。") | japanese_format.kif 1643-1644 | |
| (subclass BiologicalProcess InternalChange) | Merge.kif 10272-10272 | 生物学的プロセス は 内部変化 の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 226-226 | lifeStageAchieved の数値 1 引数は 生物学的プロセス の instance では |
| antecedent |
|
|
| (=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism)) |
Merge.kif 10283-10287 |
|
| (=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ)))) |
Merge.kif 10276-10281 |
| 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 | |
| (=> (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 |
|
| (=> (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 13542-13551 |
|
| (=> (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 | |
| (=> (instance ?O Organism) (capability BiologicalProcess experiencer ?O)) |
Merge.kif 10294-10296 | |
| (=> (instance ?O Organism) (not (capability BiologicalProcess agent ?O))) |
Merge.kif 10289-10292 | |
| (=> (instance ?S Cholesterol) (exists (?P ?L) (and (instance ?P BiologicalProcess) (eventLocated ?P ?L) (instance ?L Liver) (result ?P ?S)))) |
Mid-level-ontology.kif 9918-9925 | |
| (=> (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 | |
| (=> (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 |
|
|
|