TreeView Knowledge Base Browser

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 15172-15184
(externalImage ConnectiveTissue "https://en.wikipedia.org/wiki/Connective_tissue#/ media/ File:Hist.Technik_(2).jpg")	Merge.kif 15185-15185
(subclass ConnectiveTissue Tissue)	Merge.kif 15171-15171	Connective tissue is a subclass of tissue

appearance as argument number 2

(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue)	Merge.kif 15147-15147	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15211-15211	Bone tissue is a subclass of connective tissue
(subclass Cartilage ConnectiveTissue)	Anatomy.kif 255-255	Cartilage is a subclass of connective tissue
(subclass FatTissue ConnectiveTissue)	Merge.kif 15257-15257	Fat tissue is a subclass of connective tissue
(termFormat EnglishLanguage ConnectiveTissue "connective tissue")	Merge.kif 15186-15186

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 15188-15209

If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and the class is not equal to the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object,
then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: