|
|
   Trachea
|
|
|
| appearance as argument number 1 |
|
|
| (connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12119-12119 | connectedBodyPart Trachea and 肺 |
| (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 and 空中航線 |
| (subclass Trachea BodyVessel) | Mid-level-ontology.kif 11761-11761 | 子類 Trachea and BodyVessel |
| appearance as argument number 2 |
|
|
| (connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 12117-12117 | connectedBodyPart 口 and Trachea |
| (connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 12118-12118 | connectedBodyPart 鼻子 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 |
|
|
|