Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Esophagus
|
|
|
| appearance as argument number 1 |
|
|
| (typicalPart Esophagus GastroIntestinalTract) | Mid-level-ontology.kif 13565-13565 | A esophagus is typically a part of a GI |
| (connectedBodyPart Esophagus Stomach) | Mid-level-ontology.kif 13571-13571 | A esophagus is connected to a stomach |
| (subclass Esophagus BodyVessel) | Mid-level-ontology.kif 13587-13587 | Esophagus is a subclass of body vessel |
| (documentation Esophagus EnglishLanguage "A BodyVessel that is a conduit for Food subject to Ingesting.") | Mid-level-ontology.kif 13588-13589 | Esophagus is a subclass of body vessel |
| appearance as argument number 2 |
|
|
| (connectedBodyPart Mouth Esophagus) | Mid-level-ontology.kif 13570-13570 | A mouth is connected to a esophagus |
| (termFormat EnglishLanguage Esophagus "esophagus") | Mid-level-ontology.kif 13590-13590 | A mouth is connected to a esophagus |
| consequent |
|
|
| (=> (and (instance ?S Swallowing) (agent ?S ?H)) (exists (?M ?E ?ST ?O) (and (instance ?M Mouth) (instance ?E Esophagus) (instance ?ST Stomach) (objectTransferred ?S ?O) (origin ?S ?M) (destination ?S ?ST) (path ?S ?E)))) |
Mid-level-ontology.kif 7683-7695 | If X is an instance of swallowing and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of mouth (3) W is an instance of esophagus (4) V is an instance of stomach (5) the object transferred in X is U (6) X originates at Z (7) X ends up at V (8) W is path along which X occurs |
| (=> (and (instance ?GERD GERefluxDisease) (experiencer ?GERD ?H)) (exists (?T ?S ?E) (and (instance ?T Transfer) (origin ?T ?S) (instance ?S Stomach) (instance ?E Esophagus) (destination ?T ?E) (part ?S ?H) (part ?E ?H) (subProcess ?T ?GERD)))) |
Medicine.kif 1900-1913 | If X is an instance of GERD and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) Z originates at W (4) W is an instance of stomach (5) V is an instance of esophagus (6) Z ends up at V (7) W is a part of Y (8) V is a part of Y (9) Z is a subprocess of X |
|