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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9942-9943
(externalImage Throat "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Throat.agr.jpg") pictureList.kif 187-187 "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Throat.agr.jpg" is a URL depicting throat
(subclass Throat Airway) Mid-level-ontology.kif 9941-9941 Throat is a subclass of airway
(subclass Throat AnimalAnatomicalStructure) Mid-level-ontology.kif 9939-9939 Throat is a subclass of animal anatomical structure
(subclass Throat BodyVessel) Mid-level-ontology.kif 9940-9940 Throat is a subclass of body vessel

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


(termFormat EnglishLanguage Throat "throat") domainEnglishFormat.kif 10078-10078 "throat" is the printable form of throat in english language

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


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

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


(=>
    (instance ?NOS Nostril)
    (exists (?N ?T)
        (and
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))
Mid-level-ontology.kif 9635-9641
(=>
    (instance ?S Strangling)
    (exists (?T)
        (and
            (patient ?S ?T)
            (instance ?T Throat))))
Mid-level-ontology.kif 6218-6223


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners