|
|
   Trachea
|
|
|
| appearance as argument number 1 |
|
|
| (connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12119-12119 | connectedBodyPart Trachea and Lung |
| (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 | Trachea est une sous-classe de Airway |
| (subclass Trachea BodyVessel) | Mid-level-ontology.kif 11761-11761 | Trachea est une sous-classe de veine |
| appearance as argument number 2 |
|
|
| (connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 12117-12117 | connectedBodyPart Mouth and Trachea |
| (connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 12118-12118 | connectedBodyPart Nose and Trachea |
| (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 |
|
|
|