Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	例 Physical and 防護眼鏡有目的 Physical and PhysicalRSON 例 PhysicalRSON and Human 穿 PhysicalRSON and Physical entity entity, entity, entity and entity 例 entity and Process 儀器 entity and Physical 子類 entity and 卡帕 entity and entity 例 entity and Injuring 例 entity and 眼睛例 entity and Human 適當的部分 entity and entity 患者 entity and entity 持有期間 entity and 患者 entity and PhysicalRSON 持有期間 entity and 患者 entity and PhysicalRSON 防止 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3478-3478	子類防護眼鏡 and SafetyDevice
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3479-3479	子類防護眼鏡 and 可穿戴物品