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 10321-10323 | |
(documentation Digesting JapaneseLanguage "摂取された Food をより単純な化学化合物に分解し、 Organism によって吸収される Process。") | japanese_format.kif 1661-1662 | |
(subclass Digesting AutonomicProcess) | Merge.kif 10319-10319 | Digesting est une sous-classe de AutonomicProcess |
(subclass Digesting OrganismProcess) | Merge.kif 10318-10318 | Digesting est une sous-classe de fonction physiologique |
appearance as argument number 2 |
(termFormat ChineseLanguage Digesting "消化") | domainEnglishFormat.kif 19506-19506 | |
(termFormat ChineseTraditionalLanguage Digesting "消化") | domainEnglishFormat.kif 19505-19505 | |
(termFormat EnglishLanguage Digesting "digesting") | domainEnglishFormat.kif 19504-19504 |
antecedent |
(=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST))))) |
Merge.kif 10325-10333 | |
(=> (instance ?DIGEST Digesting) (exists (?DECOMP) (and (instance ?DECOMP ChemicalDecomposition) (subProcess ?DECOMP ?DIGEST)))) |
Merge.kif 10335-10340 |
consequent |
(=> (instance ?I Intestine) (capability Digesting instrument ?I)) |
Mid-level-ontology.kif 12065-12067 | |
(=> (instance ?S Stomach) (capability Digesting instrument ?S)) |
Mid-level-ontology.kif 12056-12058 |
statement |
(subclass GastroIntestinalIssue (ImpairmentFn Digesting)) |
Medicine.kif 2116-2116 | GastroIntestinalIssue est une sous-classe de ImpairmentFn Digesting |