Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1315-1317	DiseaseOrSyndrome 是對於 Process 的 disease 治癒外用抗生素子類 Process and Covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29730-29739	子類 Physical and 對於 BodyPart 的 covering 有目的 Physical and entity BodyPartI and PhysicalI 例 entity and Covering 例 BodyPartI and BodyPart 例 PhysicalI and Physical 目的地 entity and BodyPartI 患者 entity and PhysicalI
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11414-11414	子類 Covering and Putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3182-3182	子類繪畫 and Covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12443-12443	子類 TopicalApplication and Covering