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 10170-10170 | |
(documentation BiologicalProcess JapaneseLanguage "Process は、Organism に組み込まれて いる。") | japanese_format.kif 1643-1644 | |
(subclass BiologicalProcess InternalChange) | Merge.kif 10168-10168 | ProcesoBiologico è una sottoclasse di CambiamentoInterno |
appearance as argument number 2 |
appearance as argument number 3 |
(domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 222-222 | Il numero 1 argomenti di lifeStageAchieved è un istanza di ProcesoBiologico |
antecedent |
(=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism)) |
Merge.kif 10179-10183 |
|
(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ)))) |
Merge.kif 10172-10177 |
|
consequent |