Trachea - Sigma Knowledge base Browser

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 è una sottoclasse di Airway
(subclass Trachea BodyVessel)	Mid-level-ontology.kif 11761-11761	Trachea è una sottoclasse di Vaso

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	Processo è un' istanza di Choking AutonomousAgent esperisces Processo Entit� Oggetto and Oggetto Entit� è un' istanza di Oggetto Oggetto è un' istanza di Trachea Oggetto è un' istanza di Lung Oggetto è una parte di AutonomousAgent Oggetto è una parte di AutonomousAgent Entit� è localizzato in Oggetto Entit� è localizzato in Oggetto vales durante il tempo di esistenza di Processo
(=> (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	Trasferimento è un' istanza di Intubation Oggetto è un' istanza di Tube objectTransferred Trasferimento and Oggetto AutonomousAgent esperisces Trasferimento OggettoH OggettoH è un' istanza di Trachea OggettoH è una parte di AutonomousAgent Trasferimento fines in OggettoH