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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Throat

Sigma KEE - Throat
Throat(喉)

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


(documentation Throat EnglishLanguage "A BodyVessel which connects the Mouth to the lungs and stomach.") Mid-level-ontology.kif 11724-11725
(externalImage Throat "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Throat.agr.jpg") pictureList.kif 187-187
(subclass Throat Airway) Mid-level-ontology.kif 11723-11723 空中航线subclass
(subclass Throat AnimalAnatomicalStructure) Mid-level-ontology.kif 11721-11721 动物解剖结构subclass
(subclass Throat BodyVessel) Mid-level-ontology.kif 11722-11722 身体管道subclass

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


(termFormat ChineseLanguage Throat "喉") domainEnglishFormat.kif 57926-57926
(termFormat ChineseTraditionalLanguage Throat "喉") domainEnglishFormat.kif 57925-57925
(termFormat EnglishLanguage Throat "throat") domainEnglishFormat.kif 57924-57924

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


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

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 6056-6075
(=>
    (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 754-765
(=>
    (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 11327-11333
(=>
    (instance ?S Strangling)
    (exists (?T)
        (and
            (patient ?S ?T)
            (instance ?T Throat))))
Mid-level-ontology.kif 6530-6535
(=>
    (instance ?T Trachea)
    (exists (?TH)
        (and
            (instance ?TH Throat)
            (connected ?TH ?T))))
Mid-level-ontology.kif 11740-11745


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