![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 13423-13423 | A trachea is connected to a lung |
(documentation Trachea EnglishLanguage "A BodyVessel which connects the Throat to the Lungs.") | Mid-level-ontology.kif 13067-13068 | A trachea is connected to a lung |
(subclass Trachea Airway) | Mid-level-ontology.kif 13066-13066 | Trachea is a subclass of airway |
(subclass Trachea BodyVessel) | Mid-level-ontology.kif 13065-13065 | Trachea is a subclass of body vessel |
appearance as argument number 2 |
![]() |
(connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 13421-13421 | A mouth is connected to a trachea |
(connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 13422-13422 | A nose is connected to a trachea |
(termFormat EnglishLanguage Trachea "trachea") | Mid-level-ontology.kif 13069-13069 | A nose is connected to a trachea |
antecedent |
![]() |
(=> (instance ?T Trachea) (exists (?TH) (and (instance ?TH Throat) (connected ?TH ?T)))) |
Mid-level-ontology.kif 13071-13076 |
|
consequent |
![]() |
![]() |
![]() |