Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	例可穿戴物品 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.	Merge.kif 13582-13582	子類 Hearing and Perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13626-13626	子類聽 and Hearing