Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	例可穿戴物品 and 安全套例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 儀器 entity and 可穿戴物品患者 entity and Animal 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity and entity 例 entity and Human 體驗者 entity and entity 例 entity and 落下體驗者 entity and entity 原因 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11602-11602	子類落下 and 易位
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11603-11603	子類落下 and 向下運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13106-13106	子類下沉 and 落下
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11229-11229	子類沉澱 and 落下