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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Suffocating

Sigma KEE - Suffocating
Suffocating(令人窒息)

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


(documentation Suffocating EnglishLanguage "Killing someone by asphyxiation, i.e. by depriving them of Oxygen.") Mid-level-ontology.kif 18456-18457
(externalImage Suffocating "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ Image943-knee_mount.jpg") pictureList.kif 6903-6903
(externalImage Suffocating "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Breath_control.jpg") pictureList.kif 8002-8002
(externalImage Suffocating "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Asthma_before-after.png") pictureList.kif 8001-8001
(subclass Suffocating Killing) Mid-level-ontology.kif 18455-18455 令人窒息杀害subclass

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


(subclass Hanging Suffocating) Mid-level-ontology.kif 18473-18473 令人窒息subclass
(termFormat ChineseLanguage Suffocating "令人窒息") domainEnglishFormat.kif 55927-55927
(termFormat ChineseTraditionalLanguage Suffocating "令人窒息") domainEnglishFormat.kif 55926-55926
(termFormat EnglishLanguage Suffocating "suffocating") domainEnglishFormat.kif 55925-55925

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 18459-18471


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