Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Thyroxine(thyroxine) |
| appearance as argument number 1 |
|
| (subclass Thyroxine BiologicallyActiveSubstance) | Medicine.kif 3365-3365 | Thyroxine is a subclass of biologically active substance |
| (documentation Thyroxine EnglishLanguage "A Hormone that is secreted by the ThyroidGland but can also be produced synthetically.") | Medicine.kif 3367-3369 | Thyroxine is a subclass of biologically active substance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Thyroxine "thyroxine") | Medicine.kif 3366-3366 | |
| (secretesSubstance ThyroidGland Thyroxine) | Medicine.kif 3370-3370 | Thyroxine is a secretes substance of thyroid gland |
| (subclass Levothyroxine Thyroxine) | Medicine.kif 3372-3372 | Levothyroxine is a subclass of thyroxine |
|