Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConnectiveTissue
ConnectiveTissue

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


(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 15196-15208
(externalImage ConnectiveTissue "https://en.wikipedia.org/wiki/Connective_tissue#/ media/ File:Hist.Technik_(2).jpg") Merge.kif 15209-15209
(subclass ConnectiveTissue Tissue) Merge.kif 15195-15195 ConnectiveTissue è una sottoclasse di Tessuto

appearance as argument number 2
-------------------------


(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15171-15171 Tessuto è scomposto disgiuntivamente in ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue
(subclass BoneTissue ConnectiveTissue) Merge.kif 15235-15235 BoneTissue è una sottoclasse di ConnectiveTissue
(subclass Cartilage ConnectiveTissue) Anatomy.kif 255-255 Cartilage è una sottoclasse di ConnectiveTissue
(subclass FatTissue ConnectiveTissue) Merge.kif 15281-15281 TessutoGrasso è una sottoclasse di ConnectiveTissue
(termFormat EnglishLanguage ConnectiveTissue "connective tissue") Merge.kif 15210-15210

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 15212-15233


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



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