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	Classe è una sottoclasse di Tessuto Classe è una sottoclasse di Tessuto Oggetto è un' istanza di Classe Oggetto è un' istanza di Classe Oggetto è un' istanza di Umano Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Classe is uguale a Classe Classe è una sottoclasse di Classe Classe è una sottoclasse di Classe Oggetto è Adjacent a Oggetto l'affermazione Entit� Entit� è un' istanza di ConnectiveTissue Entit� è tra Oggetto e Oggetto ha il modello di forza di Likely
(subclass Tissue BodySubstance)	Merge.kif 15146-15146	Tessuto è una sottoclasse di SostanzaCorporea
(subclass PlantWicker Tissue)	Mid-level-ontology.kif 4598-4598	PlantWicker è una sottoclasse di Tessuto
(subclass Wood Tissue)	Mid-level-ontology.kif 9160-9160	Wood è una sottoclasse di Tessuto
(subclass Tendon Tissue)	Mid-level-ontology.kif 9444-9444	Tendon è una sottoclasse di Tessuto
(subclass ConnectiveTissue Tissue)	Merge.kif 15171-15171	ConnectiveTissue è una sottoclasse di Tessuto
(subclass EpithelialTissue Tissue)	Merge.kif 15229-15229	EpithelialTissue è una sottoclasse di Tessuto
(subclass MuscleTissue Tissue)	Merge.kif 15245-15245	MuscleTissue è una sottoclasse di Tessuto
(subclass NervousTissue Tissue)	Merge.kif 15261-15261	NervousTissue è una sottoclasse di Tessuto
(subclass BoneMarrow Tissue)	Medicine.kif 1201-1201	BoneMarrow è una sottoclasse di Tessuto

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