Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Intestine
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Intestine BodyVessel) | Mid-level-ontology.kif 13533-13533 | Intestine is a subclass of body vessel |
| (subclass Intestine AnimalAnatomicalStructure) | Mid-level-ontology.kif 13534-13534 | Intestine is a subclass of animal anatomical structure |
| (documentation Intestine EnglishLanguage "A BodyVessel which connects the Stomach to the anus and which is used in digesting Food.") | Mid-level-ontology.kif 13535-13536 | Intestine is a subclass of animal anatomical structure |
| (typicalPart Intestine GastroIntestinalTract) | Mid-level-ontology.kif 13567-13567 | A intestine is typically a part of a GI |
| (connectedBodyPart Intestine Rectum) | Mid-level-ontology.kif 13573-13573 | A intestine is connected to a rectum |
| (externalImage Intestine "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Stomach_colon_rectum_diagram.svg") | pictureList.kif 4738-4738 | A intestine is connected to a rectum |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?I Intestine) (instance ?A Animal) (part ?I ?A)) (modalAttribute (exists (?E) (and (instance ?E EscherichiaColi) (contains ?I ?E))) Likely)) |
Medicine.kif 5512-5522 | If X is an instance of intestine, Y is an instance of animal, and X is a part of Y, then the statement there exists Z such that Z is an instance of E. coli and X contains Z has the modal force of likely |
| consequent |
|
|
| (=> (instance ?X Feces) (exists (?PROC ?INT) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?INT) (instance ?INT Intestine) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2684-2691 | If X is an instance of feces, then there exist Y, Z such that Y is an instance of physiologic process, Z is an instrument for Y, Z is an instance of intestine, and X is a result of Y |
| (=> (instance ?B Bloating) (exists (?P ?S ?I ?G) (and (experiencer ?B ?P) (instance ?G Gas) (or (and (part ?I ?P) (instance ?I Intestine) (contains ?I ?G)) (and (part ?S ?P) (instance ?S Stomach) (contains ?S ?G)))))) |
Mid-level-ontology.kif 7546-7560 | If X is an instance of bloating, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y experiences X (3) V is an instance of gas (4) W is a part of Y (5) W is an instance of intestine (6) W contains V or Z is a part of Y (7) Z is an instance of stomach (8) Z contains V |
| (=> (instance ?I Intestinimonas) (modalAttribute (exists (?IN) (and (instance ?IN Intestine) (located ?I ?IN))) Likely)) |
Medicine.kif 4437-4444 | If X is an instance of intestinimonas, then the statement there exists Y such that Y is an instance of intestine and X is located at Y has the modal force of likely |
|
