Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EpithelialTissue(epithelial tissue) |
| appearance as argument number 1 |
|
| (subclass EpithelialTissue Tissue) | Merge.kif 15503-15503 | Epithelial tissue is a subclass of tissue |
| (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 | Epithelial tissue is a subclass of tissue |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EpithelialTissue "epithelial tissue") | Merge.kif 15513-15513 | |
| (subclass LungEpithelium EpithelialTissue) | Medicine.kif 3076-3076 | Lung epithelium is a subclass of epithelial tissue |
| appearance as argument number 5 |
|
|
| consequent |
|
|
| (=> (instance ?G Gland) (material EpithelialTissue ?G)) |
Merge.kif 15515-15517 | If X is an instance of gland, then X is made of epithelial tissue |
|