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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Throat

Sigma KEE - Throat
Throat(throat)
pharynx, pleural, spiracle, throat

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


(documentation Throat EnglishLanguage "A BodyVessel which connects the Mouth to the lungs and stomach.") Mid-level-ontology.kif 13055-13056
(externalImage Throat "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Throat.agr.jpg") pictureList.kif 187-187
(subclass Throat Airway) Mid-level-ontology.kif 13054-13054 Throat is a subclass of airway
(subclass Throat AnimalAnatomicalStructure) Mid-level-ontology.kif 13052-13052 Throat is a subclass of animal anatomical structure
(subclass Throat BodyVessel) Mid-level-ontology.kif 13053-13053 Throat is a subclass of body vessel

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


(termFormat ChineseLanguage Throat "喉") domainEnglishFormat.kif 57934-57934
(termFormat ChineseTraditionalLanguage Throat "喉") domainEnglishFormat.kif 57933-57933
(termFormat EnglishLanguage Throat "throat") domainEnglishFormat.kif 57932-57932

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


(=>
    (instance ?THROAT Throat)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (connected ?THROAT ?MOUTH))))
Mid-level-ontology.kif 13058-13063

consequent
-------------------------


(=>
    (and
        (instance ?C Coughing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?L ?O ?T)
            (and
                (instance ?L Lung)
                (instance ?T Throat)
                (instance ?O Object)
                (instance ?R Removing)
                (part ?L ?H)
                (part ?T ?H)
                (objectTransferred ?R ?O)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?C))
                    (or
                        (located ?O ?T)
                        (located ?O ?L)))))))
Mid-level-ontology.kif 6993-7012
(=>
    (and
        (instance ?C Cricothyroidotomy)
        (patient ?C ?O))
    (holdsDuring
        (EndFn
            (WhenFn ?C))
        (exists (?H)
            (and
                (instance ?H HoleRegion)
                (equal ?T
                    (HoleHostFn ?H))
                (instance ?T Throat)
                (part ?T ?O)))))
Medicine.kif 745-756
(=>
    (and
        (instance ?ELT ExperiencingALumpInTheThroat)
        (experiencer ?ELT ?A))
    (exists (?P ?T)
        (and
            (instance ?P Perception)
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Throat)
            (part ?T ?A))))
emotion.kif 1710-1721
(=>
    (instance ?NOS Nostril)
    (exists (?N ?T)
        (and
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))
Mid-level-ontology.kif 12658-12664
(=>
    (instance ?S Strangling)
    (exists (?T)
        (and
            (patient ?S ?T)
            (instance ?T Throat))))
Mid-level-ontology.kif 7467-7472
(=>
    (instance ?T Trachea)
    (exists (?TH)
        (and
            (instance ?TH Throat)
            (connected ?TH ?T))))
Mid-level-ontology.kif 13071-13076


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