Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	如果可穿戴物品是安全套的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个可穿戴物品是导致那个实体的 instrument 和那个动物是那个实体的 patient 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11602-11602	落下是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11603-11603	落下是向下运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13106-13106	下沉是落下的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11229-11229	沉淀是落下的 subclass