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 15188-15209	子類 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 15146-15146	子類 Tissue and BodySubstance
(subclass PlantWicker Tissue)	Mid-level-ontology.kif 4598-4598	子類 PlantWicker and Tissue
(subclass Wood Tissue)	Mid-level-ontology.kif 9160-9160	子類木 and Tissue
(subclass Tendon Tissue)	Mid-level-ontology.kif 9444-9444	子類肌腱 and Tissue
(subclass ConnectiveTissue Tissue)	Merge.kif 15171-15171	子類 ConnectiveTissue and Tissue
(subclass EpithelialTissue Tissue)	Merge.kif 15229-15229	子類 EpithelialTissue and Tissue
(subclass MuscleTissue Tissue)	Merge.kif 15245-15245	子類 MuscleTissue and Tissue
(subclass NervousTissue Tissue)	Merge.kif 15261-15261	子類 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