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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Digesting

Sigma KEE - Digesting
Digesting(digesting)autolytic, digestive, peptic, predigested, undigested

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 is a subclass of autonomic process
(subclass Digesting OrganismProcess) Merge.kif 10318-10318 Digesting is a subclass of organism process

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