![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Gland Organ) | Merge.kif 15416-15416 | Gland is a subclass of organ |
| (documentation Gland EnglishLanguage "An Organ that removes Substances from the Blood,alters them in some way, and then releases them.") | Merge.kif 15417-15418 | Gland is a subclass of organ |
| (externalImage Gland "http://upload.wikimedia.org/wikipedia/commons/6/6a/ Pituitary_gland.png") | pictureList.kif 4701-4701 | Gland is a subclass of organ |
| appearance as argument number 2 |
|
|
| (subclass ThyroidGland Gland) | Mid-level-ontology.kif 13819-13819 | Thyroid gland is a subclass of gland |
| (subclass PituitaryGland Gland) | Mid-level-ontology.kif 13826-13826 | Pituitary gland is a subclass of gland |
| (subclass LymphNode Gland) | Mid-level-ontology.kif 13829-13829 | Lymph gland is a subclass of gland |
| (subclass SweatGland Gland) | Mid-level-ontology.kif 13854-13854 | Sweat gland is a subclass of gland |
| (subclass Pancreas Gland) | Mid-level-ontology.kif 13872-13872 | Pancreas is a subclass of gland |
| (subclass AdrenalGland Gland) | Mid-level-ontology.kif 13888-13888 | Adrenal gland is a subclass of gland |
| (subclass SalivaryGland Gland) | Mid-level-ontology.kif 13902-13902 | Salivary gland is a subclass of gland |
| (subclass MucusGland Gland) | Mid-level-ontology.kif 13921-13921 | Mucus gland is a subclass of gland |
| (subclass TearGland Gland) | Mid-level-ontology.kif 13956-13956 | Lacrymal gland is a subclass of gland |
| (termFormat EnglishLanguage Gland "gland") | english_format.kif 1264-1264 | Lacrymal gland is a subclass of gland |
| antecedent |
|
|
| (=> (instance ?G Gland) (material EpithelialTissue ?G)) |
Merge.kif 15515-15517 | If X is an instance of gland, then X is made of epithelial tissue |
| consequent |
|
|
| (=> (instance ?HORMONE Hormone) (exists (?PROCESS ?GLAND) (and (instance ?GLAND Gland) (instrument ?PROCESS ?GLAND) (result ?PROCESS ?HORMONE)))) |
Merge.kif 15157-15163 | If X is an instance of hormone, then there exist Y, Z such that Z is an instance of gland, Z is an instrument for Y, and X is a result of Y |