Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Trachea

Sigma KEE - Trachea
Trachea

appearance as argument number 1
-------------------------


(connectedBodyPart Trachea Lung) Mid-level-ontology.kif 12091-12091 connectedBodyPart Trachea and Lung
(documentation Trachea EnglishLanguage "A BodyVessel which connects the Throat to the Lungs.") Mid-level-ontology.kif 11735-11736
(subclass Trachea Airway) Mid-level-ontology.kif 11734-11734 TracheaAirwaysubclass では %n
(subclass Trachea BodyVessel) Mid-level-ontology.kif 11733-11733 Trachea身体血管subclass では %n

appearance as argument number 2
-------------------------


(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 12089-12089 connectedBodyPart Mouth and Trachea
(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 12090-12090 connectedBodyPart Nose and Trachea
(termFormat EnglishLanguage Trachea "trachea") Mid-level-ontology.kif 11737-11737

antecedent
-------------------------


(=>
    (instance ?T Trachea)
    (exists (?TH)
        (and
            (instance ?TH Throat)
            (connected ?TH ?T))))
Mid-level-ontology.kif 11739-11744

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 11753-11768
(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners