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 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners