| BiologicalProcess(生物学的プロセス) | |
| appearance as argument number 1 |
|
|
| (documentation BiologicalProcess ChineseLanguage "这是一个体现在一个 Organism 的 Process。") | Merge.kif 10197-10197 | |
| (documentation BiologicalProcess EnglishLanguage "A Process embodied in an Organism.") | Merge.kif 10196-10196 | |
| (subclass BiologicalProcess InternalChange) | Merge.kif 10195-10195 | subclass 生物学的プロセス and 内部変化 |
| appearance as argument number 2 |
|
|
| (subclass Fermentation BiologicalProcess) | Food.kif 1010-1010 | subclass Fermentation and 生物学的プロセス |
| (subclass PathologicProcess BiologicalProcess) | Merge.kif 10444-10444 | subclass 病理学的プロセス and 生物学的プロセス |
| (subclass PhysiologicProcess BiologicalProcess) | Merge.kif 10212-10212 | subclass 生理学的プロセス and 生物学的プロセス |
| (subclass PsychologicalProcess BiologicalProcess) | Merge.kif 10430-10430 | subclass 精神的プロセス and 生物学的プロセス |
| (subclass ViralCellInvasion BiologicalProcess) | VirusProteinAndCellPart.kif 16-16 | subclass ViralCellInvasion and 生物学的プロセス |
| (termFormat ChineseLanguage BiologicalProcess "生物过程") | chinese_format.kif 1073-1073 | termFormat ChineseLanguage, 生物学的プロセス and "生物过程" |
| (termFormat EnglishLanguage BiologicalProcess "biological process") | english_format.kif 1290-1290 | termFormat EnglishLanguage, 生物学的プロセス and "biological process" |
| (termFormat JapaneseLanguage BiologicalProcess "生物学的プロセス") | english_format.kif 1291-1291 | termFormat JapaneseLanguage, 生物学的プロセス and "生物学的プロセス" |
| appearance as argument number 3 |
|
|
| (domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 177-177 | domain lifeStageAchieved, 1 and 生物学的プロセス |
| antecedent |
|
|
| (=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism)) |
Merge.kif 10206-10210 | |
| (=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ)))) |
Merge.kif 10199-10204 |
| 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 2621-2634 | |
| (=> (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 8389-8396 | |
| (=> (instance ?SUBSTANCE Mycotoxin) (exists (?FUNGUS ?PROCESS) (and (instance ?FUNGUS FungalAgent) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (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 10134-10144 | |
| (=> (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 934-944 |
|
|
|