Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3543-3570	If a physical is an instance of protective eyewear, then the physical has the purpose if there exists the physicalRSON such that the physicalRSON is an instance of human and the physicalRSON wears the physical, then there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by the fifth entity and the other entity prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3539-3539	Protective eyewear is a subclass of safety device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3540-3540	Protective eyewear is a subclass of wearable item