| PhysiologicProcess(生理学的プロセス) | |
| appearance as argument number 1 |
|
|
| (documentation PhysiologicProcess ChineseLanguage "这是一个 Organism 或者是一个 Organism 的一部分的一个正常过程。") | chinese_format.kif 2896-2897 | |
| (documentation PhysiologicProcess EnglishLanguage "A normal process of an Organism or part of an Organism.") | Merge.kif 10300-10301 | |
| (documentation PhysiologicProcess JapaneseLanguage "Organism または Organism の一部の通 常のプロセス。") | japanese_format.kif 1645-1646 | |
| (subclass PhysiologicProcess BiologicalProcess) | Merge.kif 10298-10298 | 生理学的プロセス は 生物学的プロセス の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass ImpairmentFn 1 PhysiologicProcess) | Merge.kif 13623-13623 | ImpairmentFn の数値 1 引数は 生理学的プロセス のsubclass では |
| consequent |
|
|
| (=> (instance ?H Honey) (exists (?P ?B) (and (instance ?P PhysiologicProcess) (agent ?P ?B) (instance ?B Bee) (result ?P ?H)))) |
Mid-level-ontology.kif 23254-23261 | |
| (=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART)))) |
Merge.kif 15116-15121 | |
| (=> (instance ?X Excrement) (exists (?PROC ?ORG) (and (instance ?ORG Organism) (instance ?PROC PhysiologicProcess) (result ?PROC ?X) (agent ?PROC ?ORG)))) |
Mid-level-ontology.kif 2530-2537 | |
| (=> (instance ?X Feces) (exists (?PROC ?INT) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?INT) (instance ?INT Intestine) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2548-2555 | |
| (=> (instance ?X Urine) (exists (?PROC ?KIDNEY) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?KIDNEY) (instance ?KIDNEY Kidney) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2566-2573 |
|
|
|