Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	子類 Class and Tissue 子類 Class and Tissue 例 Object and Class 例 Object and Class 例 Object and Human 部分 Object and Object 部分 Object and Object 等於 Class and Class 子類 Class and Class 子類 Class and Class 方位 Object, Object and 鄰模態屬性 entity 例 entity and ConnectiveTissue 之間 Object, entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15124-15124	子類 Tissue and BodySubstance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4598-4598	子類 PlantWicker and Tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9161-9161	子類木 and Tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9445-9445	子類肌腱 and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15149-15149	子類 ConnectiveTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15207-15207	子類 EpithelialTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15223-15223	子類 MuscleTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15239-15239	子類 NervousTissue and Tissue
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1201-1201	子類 BoneMarrow and Tissue