Trachea(trachea) |
appearance as argument number 1 |
(connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12092-12092 | A trachea is connected to a lung |
(documentation Trachea EnglishLanguage "A BodyVessel which connects the Throat to the Lungs.") | Mid-level-ontology.kif 11736-11737 | |
(subclass Trachea Airway) | Mid-level-ontology.kif 11735-11735 | Trachea is a subclass of airway |
(subclass Trachea BodyVessel) | Mid-level-ontology.kif 11734-11734 | Trachea is a subclass of body vessel |
appearance as argument number 2 |
(connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 12090-12090 | A mouth is connected to a trachea |
(connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 12091-12091 | A nose is connected to a trachea |
(termFormat EnglishLanguage Trachea "trachea") | Mid-level-ontology.kif 11738-11738 |
antecedent |
(=> (instance ?T Trachea) (exists (?TH) (and (instance ?TH Throat) (connected ?TH ?T)))) |
Mid-level-ontology.kif 11740-11745 |
|
consequent |