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

appearance as argument number 2

(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue)	Merge.kif 15125-15125	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15189-15189	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 15235-15235	Fat tissue is a subclass of connective tissue
(termFormat EnglishLanguage ConnectiveTissue "connective tissue")	Merge.kif 15164-15164

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 15166-15187

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: