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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Suffocating
Suffocating(suffocating)
asphyxiate, smother, suffocate

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


(documentation Suffocating EnglishLanguage "Killing someone by asphyxiation, i.e. by depriving them of Oxygen.") Mid-level-ontology.kif 20044-20045
(externalImage Suffocating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ Image943-knee_mount.jpg") pictureList.kif 6902-6902
(externalImage Suffocating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Breath_control.jpg") pictureList.kif 8001-8001
(externalImage Suffocating "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Asthma_before_after.png") pictureList.kif 8000-8000
(subclass Suffocating Killing) Mid-level-ontology.kif 20043-20043 Suffocating is a subclass of killing

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


(subclass Hanging Suffocating) Mid-level-ontology.kif 20061-20061 Hanging is a subclass of suffocating
(termFormat ChineseLanguage Suffocating "令人窒息") domainEnglishFormat.kif 55960-55960 Hanging is a subclass of suffocating
(termFormat ChineseTraditionalLanguage Suffocating "令人窒息") domainEnglishFormat.kif 55959-55959 Hanging is a subclass of suffocating
(termFormat EnglishLanguage Suffocating "suffocating") domainEnglishFormat.kif 55958-55958 Hanging is a subclass of suffocating

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


(=>
    (instance ?S Suffocating)
    (holdsDuring
        (EndFn
            (WhenFn ?S))
        (exists (?P)
            (and
                (experiencer ?S ?P)
                (not
                    (exists (?B)
                        (and
                            (instance ?B Breathing)
                            (experiencer ?B ?P))))))))
Mid-level-ontology.kif 20047-20059


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 3.0 is open source software produced by Articulate Software and its partners