| Digesting | |
| appearance as argument number 1 |
|
|
| (documentation Digesting ChineseLanguage "这是 Organism 摄入 Food 把它分解成更简单的化合物、 吸收的 Process。") | chinese_format.kif 2912-2913 | |
| (documentation Digesting EnglishLanguage "The Process by which Food that has been ingested is broken down into simpler chemical compounds and absorbed by the Organism.") | Merge.kif 9571-9573 | |
| (subclass Digesting AutonomicProcess) | Merge.kif 9569-9569 | subclass Digesting and AutonomicProcess |
| (subclass Digesting OrganismProcess) | Merge.kif 9568-9568 | subclass Digesting and OrganismProcess |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Digesting "消化") | domainEnglishFormat.kif 19435-19435 | termFormat ChineseLanguage, Digesting and "消化" |
| (termFormat ChineseTraditionalLanguage Digesting "消化") | domainEnglishFormat.kif 19434-19434 | termFormat ChineseTraditionalLanguage, Digesting and "消化" |
| (termFormat EnglishLanguage Digesting "digesting") | domainEnglishFormat.kif 19433-19433 | termFormat EnglishLanguage, Digesting and "digesting" |
| antecedent |
|
|
| (=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST))))) |
Merge.kif 9575-9583 | |
| (=> (instance ?DIGEST Digesting) (exists (?DECOMP) (and (instance ?DECOMP ChemicalDecomposition) (subProcess ?DECOMP ?DIGEST)))) |
Merge.kif 9585-9590 |
| consequent |
|
|
| (=> (instance ?I Intestine) (capability Digesting instrument ?I)) |
Mid-level-ontology.kif 10029-10031 |
|
| (=> (instance ?S Stomach) (capability Digesting instrument ?S)) |
Mid-level-ontology.kif 10020-10022 |
|
|
|
|