| Digesting(digesting) | | autolytic, digestive, peptic, predigested, undigested |
| appearance as argument number 1 |
|
|
| (subclass Digesting OrganismProcess) | Merge.kif 10442-10442 | Digesting is a subclass of organism process |
| (subclass Digesting AutonomicProcess) | Merge.kif 10443-10443 | 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 10445-10447 | Digesting is a subclass of autonomic process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST))))) |
Merge.kif 10449-10457 | 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 10459-10464 | 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 13426-13428 | 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 13435-13437 | If X is an instance of intestine, then X is capable of doing digesting as a instrument |
| statement |
|
|
| (subclass GastroIntestinalIssue (ImpairmentFn Digesting)) |
Medicine.kif 2100-2100 | Gastro-intestinal issue is a subclass of impairment in digesting |
|
|
|