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 3504-3504
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 3502-3502	Respirator is a subclass of safety device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3503-3503	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 49646-49646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49645-49645
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49644-49644

antecedent

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

Cars.kif 3506-3528

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners