Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  statementAccount
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GastroIntestinalIssue (ImpairmentFn Digesting)) |
Medicine.kif 2121-2121 | Gastro-intestinal issue is a subclass of impairment in digesting |
| (documentation GastroIntestinalIssue EnglishLanguage "Difficulty with Digesting.") | Medicine.kif 2122-2123 | Gastro-intestinal issue is a subclass of impairment in digesting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GastroIntestinalIssue "gastro-intestinal issue") | Medicine.kif 2124-2124 |
|