Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Digesting OrganismProcess) Merge.kif 10529-10529 Digesting is a subclass of organism process
(subclass Digesting AutonomicProcess) Merge.kif 10530-10530 Digesting is a subclass of autonomic process
(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 10532-10534 Digesting is a subclass of autonomic process

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


(termFormat EnglishLanguage Digesting "digesting") domainEnglishFormat.kif 19506-19506
(termFormat ChineseTraditionalLanguage Digesting "消化") domainEnglishFormat.kif 19507-19507
(termFormat ChineseLanguage Digesting "消化") domainEnglishFormat.kif 19508-19508

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


(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?DIGEST)))))		 Merge.kif 10536-10544 If X is an instance of digesting and Y is an agent of X, then there exists Z such that Z is an instance of ingesting, Y is an agent of Z, and the time of existence of X overlaps the time of existence of Z
(=>
    (instance ?DIGEST Digesting)
    (exists (?DECOMP)
        (and
            (instance ?DECOMP ChemicalDecomposition)
            (subProcess ?DECOMP ?DIGEST))))		 Merge.kif 10546-10551 If X is an instance of digesting, then there exists Y such that Y is an instance of chemical decomposition and Y is a subprocess of X

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


(=>
    (instance ?S Stomach)
    (capability Digesting instrument ?S))		 Mid-level-ontology.kif 13529-13531 If X is an instance of stomach, then X is capable of doing digesting as a instrument
(=>
    (instance ?I Intestine)
    (capability Digesting instrument ?I))		 Mid-level-ontology.kif 13538-13540 If X is an instance of intestine, then X is capable of doing digesting as a instrument