TreeView Knowledge Base Browser - Suffocating

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18456-18457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6903-6903
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8002-8002
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8001-8001
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18455-18455	Suffocating is a subclass of killing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18473-18473	Hanging is a subclass of suffocating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55927-55927
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55926-55926
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55925-55925

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 18459-18471

If a physical is an instance of suffocating,
then there exists an entity such that the entity experiences the physical and there doesn't exist another entity such that the other entity is an instance of breathing and the entity experiences the other entity holds during the end of the time of existence of the physical

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