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	クラスは《医》組織の subclass では %n クラスは《医》組織の subclass では %n オブジェクトはクラスの instance では %n オブジェクトはクラスの instance では %n オブジェクトは人［人間］の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n クラスはクラスと equal ではクラスはクラスの subclass ではクラスはクラスの subclass ではオブジェクトは Adjacent 対オブジェクトでは %n ステートメントエンティティーエンティティーは ConnectiveTissue の instance では %n エンティティーはオブジェクトとオブジェクトの between では %n には Likely の modal force がある
(subclass Tissue BodySubstance)	Merge.kif 15124-15124	《医》組織は体物質の subclass では %n
(subclass PlantWicker Tissue)	Mid-level-ontology.kif 4598-4598	PlantWicker は《医》組織の subclass では %n
(subclass Wood Tissue)	Mid-level-ontology.kif 9161-9161	Wood は《医》組織の subclass では %n
(subclass Tendon Tissue)	Mid-level-ontology.kif 9445-9445	Tendon は《医》組織の subclass では %n
(subclass ConnectiveTissue Tissue)	Merge.kif 15149-15149	ConnectiveTissue は《医》組織の subclass では %n
(subclass EpithelialTissue Tissue)	Merge.kif 15207-15207	EpithelialTissue は《医》組織の subclass では %n
(subclass MuscleTissue Tissue)	Merge.kif 15223-15223	MuscleTissue は《医》組織の subclass では %n
(subclass NervousTissue Tissue)	Merge.kif 15239-15239	NervousTissue は《医》組織の subclass では %n
(subclass BoneMarrow Tissue)	Medicine.kif 1201-1201	BoneMarrow は《医》組織の subclass では %n

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