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	クラスは《医》組織の 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 15146-15146	《医》組織は体物質の subclass では %n
(subclass PlantWicker Tissue)	Mid-level-ontology.kif 4598-4598	PlantWicker は《医》組織の subclass では %n
(subclass Wood Tissue)	Mid-level-ontology.kif 9160-9160	Wood は《医》組織の subclass では %n
(subclass Tendon Tissue)	Mid-level-ontology.kif 9444-9444	Tendon は《医》組織の subclass では %n
(subclass ConnectiveTissue Tissue)	Merge.kif 15171-15171	ConnectiveTissue は《医》組織の subclass では %n
(subclass EpithelialTissue Tissue)	Merge.kif 15229-15229	EpithelialTissue は《医》組織の subclass では %n
(subclass MuscleTissue Tissue)	Merge.kif 15245-15245	MuscleTissue は《医》組織の subclass では %n
(subclass NervousTissue Tissue)	Merge.kif 15261-15261	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