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 11751-11752
(externalImage Throat "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Throat.agr.jpg") pictureList.kif 187-187
(subclass Throat Airway) Mid-level-ontology.kif 11750-11750 Throat est une sous-classe de Airway
(subclass Throat AnimalAnatomicalStructure) Mid-level-ontology.kif 11748-11748 Throat est une sous-classe de AnimalAnatomicalStructure
(subclass Throat BodyVessel) Mid-level-ontology.kif 11749-11749 Throat est une sous-classe de veine

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


(termFormat ChineseLanguage Throat "喉") domainEnglishFormat.kif 57928-57928
(termFormat ChineseTraditionalLanguage Throat "喉") domainEnglishFormat.kif 57927-57927
(termFormat EnglishLanguage Throat "throat") domainEnglishFormat.kif 57926-57926

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


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

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 6050-6069
(=>
    (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 11354-11360
(=>
    (instance ?S Strangling)
    (exists (?T)
        (and
            (patient ?S ?T)
            (instance ?T Throat))))		 Mid-level-ontology.kif 6524-6529
(=>
    (instance ?T Trachea)
    (exists (?TH)
        (and
            (instance ?TH Throat)
            (connected ?TH ?T))))		 Mid-level-ontology.kif 11767-11772


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