ConnectiveTissue - Sigma Knowledge base Browser

appearance as argument number 1

s__subclass(s__ConnectiveTissue,s__Tissue)	Merge.kif 15445-15445	Connective tissue is a subclass of tissue
s__documentation(s__ConnectiveTissue, s__EnglishLanguage, "Connective tissue is one of the four basic types of animal tissue, along with EpithelialTissue, MuscleTissue, and NervousTissue_ It develops from the mesoderm_ Connective tissue is found in between other tissues everywhere in the body, including the nervous system_ In the central nervous system, the three outer membranes (the meninges) that envelop the brain and spinal cord are composed of connective tissue_ All connective tissue consists of three main components: fibers (elastic and collagen fibers), ground substance and cells_ Not all authorities include Blood or lymph as connective tissue because they lack the fiber component_ All are immersed in the body water_ The cells of connective tissue include fibroblasts, adipocytes, macrophages, mast cells and leucocytes_[from Wikipedia]")	Merge.kif 15446-15458	Connective tissue is a subclass of tissue
s__externalImage(s__ConnectiveTissue,"https: //en.wikipedia.org/wiki/Connective_tissue#/media/File: Hist.Technik_(2) .jpg")	Merge.kif 15459-15459	Connective tissue is a subclass of tissue

appearance as argument number 2

s__disjointDecomposition(s__Tissue,s__ConnectiveTissue,s__MuscleTissue,s__NervousTissue,s__EpithelialTissue)	Merge.kif 15421-15421	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
s__termFormat(s__EnglishLanguage, s__ConnectiveTissue, "connective tissue")	Merge.kif 15460-15460	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
s__subclass(s__BoneTissue,s__ConnectiveTissue)	Merge.kif 15485-15485	Bone tissue is a subclass of connective tissue
s__subclass(s__FatTissue,s__ConnectiveTissue)	Merge.kif 15531-15531	Fat tissue is a subclass of connective tissue
s__subclass(s__Cartilage,s__ConnectiveTissue)	Anatomy.kif 262-262	Cartilage is a subclass of connective tissue

consequent

! [V__H : $i,V__T1 : $i,V__T1C : $i,V__T2 : $i,V__T2C : $i] : (((s__subclass(V__T1C, s__Tissue) & s__subclass(V__T2C, s__Tissue) & s__instance(V__T1, V__T1C) & s__instance(V__T2, V__T2C) & s__instance(V__H, s__Human) & s__part(V__T1, V__H) & s__part(V__T2, V__H) & ~(V__T1C = V__T2C) & ~(s__subclass(V__T1C, V__T2C)) & ~(s__subclass(V__T2C, V__T1C)) & s__orientation(V__T1, V__T2, s__Adjacent)) => s__modalAttribute(( ? [V__CT:$i] : ((s__instance(V__CT, s__ConnectiveTissue) & s__between(V__T1, V__CT, V__T2)))), s__Likely)))

If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely