Trachea(trachea) |
appearance as argument number 1 |
(connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12119-12119 | A trachea is connected to a 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 is a subclass of airway |
(subclass Trachea BodyVessel) | Mid-level-ontology.kif 11761-11761 | Trachea is a subclass of body vessel |
appearance as argument number 2 |
(connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 12117-12117 | A mouth is connected to a trachea |
(connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 12118-12118 | A nose is connected to a 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 |