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 11723-11724
(externalImage Throat "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Throat.agr.jpg") pictureList.kif 187-187
(subclass Throat Airway) Mid-level-ontology.kif 11722-11722 Throat è una sottoclasse di Airway
(subclass Throat AnimalAnatomicalStructure) Mid-level-ontology.kif 11720-11720 Throat è una sottoclasse di AnimalAnatomicalStructure
(subclass Throat BodyVessel) Mid-level-ontology.kif 11721-11721 Throat è una sottoclasse di Vaso

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 11726-11731

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 6055-6074
(=>
    (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 11326-11332
(=>
    (instance ?S Strangling)
    (exists (?T)
        (and
            (patient ?S ?T)
            (instance ?T Throat))))		 Mid-level-ontology.kif 6529-6534
(=>
    (instance ?T Trachea)
    (exists (?TH)
        (and
            (instance ?TH Throat)
            (connected ?TH ?T))))		 Mid-level-ontology.kif 11739-11744


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