Asphyxiation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Asphyxiation EnglishLanguage "A kind of Death caused by an inability to perform Beathing.")	Medicine.kif 6319-6319
(subclass Asphyxiation Death)	Medicine.kif 6318-6318	Asphyxiation is a subclass of death

appearance as argument number 2

(termFormat EnglishLanguage Asphyxiation "asphyxiation")

Medicine.kif 6320-6320

antecedent

(=>
    (and
        (instance ?A Asphyxiation)
        (experiencer ?A ?M))
    (holdsDuring
        (WhenFn ?A)
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (experiencer ?B ?A))))))

Medicine.kif 6322-6331

If a process is an instance of Asphyxiation and an agent experiences the process,
then there doesn't exist an entity such that the entity is an instance of breathing and the process experiences the entity holds during the time of existence of the process

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

KB Term:			Term intersection

English Word: