Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ConnectiveTissue

 Sigma KEE - ConnectiveTissue
ConnectiveTissue(connective tissue)
collagen, connective_tissue, elastic_tissue, elastin, endoneurium

appearance as argument number 1
-------------------------


(subclass ConnectiveTissue Tissue) Merge.kif 15445-15445 Connective tissue is a subclass of tissue
(documentation ConnectiveTissue 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
(externalImage 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
-------------------------


(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15421-15421 Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
(termFormat EnglishLanguage ConnectiveTissue "connective tissue") Merge.kif 15460-15460 Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
(subclass BoneTissue ConnectiveTissue) Merge.kif 15485-15485 Bone tissue is a subclass of connective tissue
(subclass FatTissue ConnectiveTissue) Merge.kif 15531-15531 Fat tissue is a subclass of connective tissue
(subclass Cartilage ConnectiveTissue) Anatomy.kif 262-262 Cartilage is a subclass of connective tissue

consequent
-------------------------


(=>
    (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 15462-15483 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners