Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Digesting
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 10285-10287
(documentation Digesting JapaneseLanguage "摂取された Food をより単純な化学化合物に分解し、 Organism によって吸収される Process。") japanese_format.kif 1661-1662
(subclass Digesting AutonomicProcess) Merge.kif 10283-10283 Digesting est une sous-classe de AutonomicProcess
(subclass Digesting OrganismProcess) Merge.kif 10282-10282 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 10289-10297
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))
Merge.kif 10299-10304

consequent
-------------------------


(=>
    (instance ?I Intestine)
    (capability Digesting instrument ?I))
Mid-level-ontology.kif 12038-12040
(=>
    (instance ?S Stomach)
    (capability Digesting instrument ?S))
Mid-level-ontology.kif 12029-12031