![]() |
![]() ![]() ![]()
|
![]() |
|
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 10134-10134 | |
(documentation BiologicalProcess JapaneseLanguage "Process は、Organism に組み込まれて いる。") | japanese_format.kif 1643-1644 | |
(subclass BiologicalProcess InternalChange) | Merge.kif 10132-10132 | Biological process is a subclass of internal change |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 177-177 | 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 10143-10147 |
|
(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ)))) |
Merge.kif 10136-10141 |
|
consequent |
![]() |
![]() |
![]() |