Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3462-3492	If a physical is an instance of hearing protection, then the physical has the purpose if an entity is an instance of human and the entity wears the physical, then there exist another entity and a third entity such that the other entity is an instance of process and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12611-12611	Hearing is a subclass of perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12655-12655	Listening is a subclass of hearing