Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1Re2In3In4En5In6Re7EnFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MultipleSclerosis AutoImmuneDisorder) | Medicine.kif 2253-2253 | MS is a subclass of auto-immune disease |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MultipleSclerosis "multiple sclerosis") | Medicine.kif 2254-2254 | |
| (termFormat EnglishLanguage MultipleSclerosis "MS") | Medicine.kif 2255-2255 |
| antecedent |
|
|
| (=> (and (instance ?MS MultipleSclerosis) (experiencer ?MS ?H)) (attribute ?H (ImpairedBodyPartFn NervousSystem))) |
Medicine.kif 2257-2262 | If X is an instance of MS and Y experiences X, then impaired body part fn nervous system is an attribute of Y |
|