Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Arthritis
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Arthritis (PainFn BodyJoint)) |
Medicine.kif 2224-2224 | Arthritis is a subclass of pain in the body joint |
| (documentation Arthritis EnglishLanguage "Pain in the joints that may be cause either by degeneration of the joints with age, or an AutoImmuneDisorder.") | Medicine.kif 2225-2227 | Arthritis is a subclass of pain in the body joint |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Arthritis "arthritis") | Medicine.kif 2228-2228 | |
| (subclass RheumatoidArthritis Arthritis) | Medicine.kif 2231-2231 | Rheumatoid arthritis is a subclass of arthritis |
|