Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EpithelialTissue |
| appearance as argument number 1 |
|
| (subclass EpithelialTissue Tissue) | Merge.kif 15503-15503 | |
| (documentation EpithelialTissue EnglishLanguage "Epithelium is one of the four basic types of animal Tissue, along with ConnectiveTissue, MuscleTissue and NervousTissue. It is a thin, continuous, protective layer of cells. Epithelial tissues line the outer surfaces of organs and BloodVessels throughout the body, as well as the inner surfaces of cavities in many internal Organs. An example is the epidermis, the outermost layer of the Skin. [from Wikipedia]") | Merge.kif 15505-15512 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EpithelialTissue "epithelial tissue") | Merge.kif 15513-15513 | |
| (subclass LungEpithelium EpithelialTissue) | Medicine.kif 3076-3076 |
| appearance as argument number 5 |
|
|
| (disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) | Merge.kif 15421-15421 |
| consequent |
|
|
| (=> (instance ?G Gland) (material EpithelialTissue ?G)) |
Merge.kif 15515-15517 |
|