Sigma KB Term Intersection

(=> (and (subclass ?T1C Tissue) (subclass ?T2C Tissue) (instance ?T1 ?T1C) (instance ?T2 ?T2C) (instance ?H Human) (part ?T1 ?H) (part ?T2 ?H) (not (equal ?T1C ?T2C)) (not (subclass ?T1C ?T2C)) (not (subclass ?T2C ?T1C)) (orientation ?T1 ?T2 Adjacent)) (modalAttribute (exists (?CT) (and (instance ?CT ConnectiveTissue) (between ?T1 ?CT ?T2))) Likely))	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 容易
(subclass Tissue BodySubstance)	Merge.kif 15124-15124	子類 Tissue and BodySubstance
(subclass PlantWicker Tissue)	Mid-level-ontology.kif 4598-4598	子類 PlantWicker and Tissue
(subclass Wood Tissue)	Mid-level-ontology.kif 9161-9161	子類木 and Tissue
(subclass Tendon Tissue)	Mid-level-ontology.kif 9445-9445	子類肌腱 and Tissue
(subclass ConnectiveTissue Tissue)	Merge.kif 15149-15149	子類 ConnectiveTissue and Tissue
(subclass EpithelialTissue Tissue)	Merge.kif 15207-15207	子類 EpithelialTissue and Tissue
(subclass MuscleTissue Tissue)	Merge.kif 15223-15223	子類 MuscleTissue and Tissue
(subclass NervousTissue Tissue)	Merge.kif 15239-15239	子類 NervousTissue and Tissue
(subclass BoneMarrow Tissue)	Medicine.kif 1201-1201	子類 BoneMarrow and Tissue

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners