Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Trachea(trachea) |
| appearance as argument number 1 |
|
| (subclass Trachea BodyVessel) | Mid-level-ontology.kif 13234-13234 | Trachea is a subclass of body vessel |
| (subclass Trachea Airway) | Mid-level-ontology.kif 13235-13235 | Trachea is a subclass of airway |
| (documentation Trachea EnglishLanguage "A BodyVessel which connects the Throat to the Lungs.") | Mid-level-ontology.kif 13236-13237 | Trachea is a subclass of airway |
| (connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 13599-13599 | A trachea is connected to a lung |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?T Trachea) (exists (?TH) (and (instance ?TH Throat) (connected ?TH ?T)))) |
Mid-level-ontology.kif 13240-13245 | If X is an instance of trachea, then there exists Y such that Y is an instance of throat and Y is connected to X |
| consequent |
|
|
| (=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?O ?T ?L) (and (instance ?O Object) (instance ?T Trachea) (instance ?L Lung) (part ?T ?H) (part ?L ?H) (holdsDuring (WhenFn ?C) (or (located ?O ?T) (located ?O ?L)))))) |
Mid-level-ontology.kif 13254-13269 | If X is an instance of choking and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of object (3) W is an instance of trachea (4) V is an instance of lung (5) W is a part of Y (6) V is a part of Y (7) Z is located at W or Z is located at V holds during the time of existence of X |
| (=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (exists (?TH) (and (instance ?TH Trachea) (part ?TH ?H) (destination ?I ?TH)))) |
Medicine.kif 4172-4182 | If X is an instance of intubation, Y is an instance of tube, the object transferred in X is Y, and Z experiences X, then there exists W such that W is an instance of trachea, W is a part of Z, and X ends up at W |
|