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	Wenn Class ist eine teilkategorie von Tissue und Class ist eine teilkategorie von Tissue und Object ist ein fall von Class %n{nicht} und Object ist ein fall von Class %n{nicht} und Object ist ein fall von Human %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Class ist gleich Class nicht und nicht Class ist eine teilkategorie von Class und nicht Class ist eine teilkategorie von Class und Object ist Adjacent hinsichlich Object %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von ConnectiveTissue %n{nicht} und entity ist zwischen Object und Object %n{nicht} hat die modale Kraft von Likely
(subclass ConnectiveTissue Tissue)	Merge.kif 15171-15171	ConnectiveTissue ist eine teilkategorie von Tissue
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15211-15211	BoneTissue ist eine teilkategorie von ConnectiveTissue
(subclass FatTissue ConnectiveTissue)	Merge.kif 15257-15257	FatTissue ist eine teilkategorie von ConnectiveTissue
(subclass Cartilage ConnectiveTissue)	Anatomy.kif 255-255	Cartilage ist eine teilkategorie von ConnectiveTissue

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