Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	例可穿戴物品 and 聽力保護例 Animal and Human 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3452-3452	子類聽力保護 and SafetyDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3453-3453	子類聽力保護 and 可穿戴物品