Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Anorexia(anorexia nervosa) |
| appearance as argument number 1 |
|
| (instance Anorexia PsychologicalDysfunction) | Medicine.kif 5045-5045 | Anorexia nervosa is an instance of psychological dysfunction |
| (documentation Anorexia EnglishLanguage "Anorexia nervosa, often referred to simply as anorexia, is an eating disorder characterized by low weight, food restriction, body image disturbance, fear of gaining weight, and an overpowering desire to be thin. The symptom of hunger is frequently present and the pathological control of this instinct is a source of satisfaction for the patients. [from Wikipedia]") | Medicine.kif 5047-5053 | Anorexia nervosa is an instance of psychological dysfunction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Anorexia "anorexia") | Medicine.kif 5055-5055 | |
| (termFormat EnglishLanguage Anorexia "anorexia nervosa") | Medicine.kif 5056-5056 |
| antecedent |
|
|
| (=> (attribute ?H Anorexia) (exists (?E) (and (instance ?E Eating) (agent ?E ?H) (needs ?H ?E) (not (wants ?H ?E))))) |
Medicine.kif 5058-5066 | If anorexia nervosa is an attribute of X, then there exists Y such that Y is an instance of eating, X is an agent of Y, X needs Y, and X doesn't want Y |
|