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 10321-10323
(documentation Digesting JapaneseLanguage "摂取された Food をより単純な化学化合物に分解し、 Organism によって吸収される Process。") japanese_format.kif 1661-1662
(subclass Digesting AutonomicProcess) Merge.kif 10319-10319 消化自主过程subclass
(subclass Digesting OrganismProcess) Merge.kif 10318-10318 消化机体过程subclass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Digesting "消化") domainEnglishFormat.kif 19522-19522
(termFormat ChineseTraditionalLanguage Digesting "消化") domainEnglishFormat.kif 19521-19521
(termFormat EnglishLanguage Digesting "digesting") domainEnglishFormat.kif 19520-19520

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 12256-12258
(=>
    (instance ?S Stomach)
    (capability Digesting instrument ?S))
Mid-level-ontology.kif 12247-12249