![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
|
| (subclass Hormone BodySubstance) | Merge.kif 15146-15146 | Hormone is a subclass of body substance |
| (subclass Hormone BiologicallyActiveSubstance) | Merge.kif 15147-15147 | Hormone is a subclass of biologically active substance |
| (documentation Hormone EnglishLanguage "In Animals, a chemical secreted by an endocrine gland whose products are released into the circulating fluid. Plant hormones or synthetic hormones which are used only to alter or control various physiologic processes, e.g., reproductive control agents, are assigned to the Class BiologicallyActiveSubstance. Hormones act as chemical messengers and regulate various physiologic processes such as growth, reproduction, metabolism, etc. They usually fall into two broad categories, viz. steroid hormones and peptide hormones.") | Merge.kif 15148-15155 | Hormone is a subclass of biologically active substance |
| (externalImage Hormone "http://upload.wikimedia.org/wikipedia/commons/9/ 91/ Growth_hormone.png") | pictureList.kif 4727-4727 | Hormone is a subclass of biologically active substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |