Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hepatitis
Hepatitis(hepatitis)delta_hepatitis, hepatitis, hepatitis_delta, viral_hepatitis

appearance as argument number 1
-------------------------


(documentation Hepatitis EnglishLanguage "A class of ViralDiseases that attack the liver.") WMD.kif 1778-1778
(subclass Hepatitis ViralDisease) WMD.kif 1777-1777 Hepatitis is a subclass of viral disease

appearance as argument number 2
-------------------------


(instance HepatitisA Hepatitis) WMD.kif 1786-1786 Hepatitis a is an instance of hepatitis
(instance HepatitisB Hepatitis) WMD.kif 1798-1798 Hepatitis b is an instance of hepatitis
(instance HepatitisC Hepatitis) WMD.kif 1809-1809 Hepatitis c is an instance of hepatitis
(termFormat ChineseLanguage Hepatitis "肝炎") domainEnglishFormat.kif 27985-27985 Hepatitis c is an instance of hepatitis
(termFormat ChineseTraditionalLanguage Hepatitis "肝炎") domainEnglishFormat.kif 27984-27984 Hepatitis c is an instance of hepatitis
(termFormat EnglishLanguage Hepatitis "hepatitis") domainEnglishFormat.kif 27983-27983 Hepatitis c is an instance of hepatitis

consequent
-------------------------


(=>
    (biochemicalAgentSyndrome HepatitisVirus ?DISEASE)
    (instance ?DISEASE Hepatitis))
WMD.kif 1773-1775


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners