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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Digesting

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 10198-10200
(subclass Digesting AutonomicProcess) Merge.kif 10196-10196
(subclass Digesting OrganismProcess) Merge.kif 10195-10195

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


(termFormat ChineseLanguage Digesting "消化") domainEnglishFormat.kif 19497-19497
(termFormat ChineseTraditionalLanguage Digesting "消化") domainEnglishFormat.kif 19496-19496
(termFormat EnglishLanguage Digesting "digesting") domainEnglishFormat.kif 19495-19495

antecedent
-------------------------


(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?DIGEST)))))
Merge.kif 10202-10210
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))
Merge.kif 10212-10217

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


(=>
    (instance ?I Intestine)
    (capability Digesting instrument ?I))
Mid-level-ontology.kif 11520-11522
(=>
    (instance ?S Stomach)
    (capability Digesting instrument ?S))
Mid-level-ontology.kif 11511-11513


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners