Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Hepatitis(hepatitis) |  | delta_hepatitis, hepatitis, hepatitis_delta, viral_hepatitis |
| appearance as argument number 1 |
|
|
| (subclass Hepatitis ViralDisease) | WMD.kif 1773-1773 | Hepatitis is a subclass of viral disease |
| (documentation Hepatitis EnglishLanguage "A class of ViralDiseases that attack the liver.") | WMD.kif 1774-1774 | Hepatitis is a subclass of viral disease |
| appearance as argument number 2 |
|
|
| (instance HepatitisA Hepatitis) | WMD.kif 1782-1782 | A is an instance of hepatitis |
| (instance HepatitisB Hepatitis) | WMD.kif 1794-1794 | Hepatitis b is an instance of hepatitis |
| (instance HepatitisC Hepatitis) | WMD.kif 1805-1805 | Hepatitis c is an instance of hepatitis |
| (termFormat EnglishLanguage Hepatitis "hepatitis") | domainEnglishFormat.kif 27953-27953 | Hepatitis c is an instance of hepatitis |
| (termFormat ChineseTraditionalLanguage Hepatitis "肝炎") | domainEnglishFormat.kif 27954-27954 | Hepatitis c is an instance of hepatitis |
| (termFormat ChineseLanguage Hepatitis "肝炎") | domainEnglishFormat.kif 27955-27955 | Hepatitis c is an instance of hepatitis |
| consequent |
|
|
| (=> (biochemicalAgentSyndrome HepatitisVirus ?DISEASE) (instance ?DISEASE Hepatitis)) |
WMD.kif 1769-1771 | If X is a biochemical agent syndrome of hepatitis virus, then X is an instance of hepatitis |
|