Respirator - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Respirator

Respirator(respirator)

gas_helmet, gasmask, respirator

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3505-3505
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1955-1955
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3503-3503	Respirator is a subclass of safety device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3504-3504	Respirator is a subclass of wearable item

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49676-49676
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49675-49675
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49674-49674

antecedent

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

Cars.kif 3507-3529

If a physical is an instance of respirator,
then the physical purpose
- if an entity is an instance of animal and the entity は % を wears %n{ない},
- then there exist another entity, a third entity and a fourth entity such that the fourth entity is an instance of process and the physical is an instrument for the fourth entity and the fourth entity prevents the occurrence of the third entity and the third entity is a subclass of the class described by a fifth entity

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