Sigma KB Term Intersection

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