|
|
   Trachea
|
|
|
| appearance as argument number 1 |
|
|
| (connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12119-12119 | |
| (documentation Trachea EnglishLanguage "A BodyVessel which connects the Throat to the Lungs.") | Mid-level-ontology.kif 11763-11764 | |
| (subclass Trachea Airway) | Mid-level-ontology.kif 11762-11762 | |
| (subclass Trachea BodyVessel) | Mid-level-ontology.kif 11761-11761 |
| appearance as argument number 2 |
|
|
| (connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 12117-12117 | |
| (connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 12118-12118 | |
| (termFormat EnglishLanguage Trachea "trachea") | Mid-level-ontology.kif 11765-11765 |
| antecedent |
|
|
| (=> (instance ?T Trachea) (exists (?TH) (and (instance ?TH Throat) (connected ?TH ?T)))) |
Mid-level-ontology.kif 11767-11772 |
| 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 11781-11796 | |
| (=> (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 4135-4145 |
|
|
|