Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ConnectiveTissue.jpg)
|  |
| appearance as argument number 1 |
|
|
| (subclass ConnectiveTissue Tissue) | Merge.kif 15445-15445 | |
| (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 | |
| (externalImage ConnectiveTissue "https://en.wikipedia.org/wiki/Connective_tissue#/ media/ File:Hist.Technik_(2).jpg") | Merge.kif 15459-15459 |
| appearance as argument number 2 |
|
|
| 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 |
|