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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hepatitis
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

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


(instance HepatitisA Hepatitis) WMD.kif 1786-1786
(instance HepatitisB Hepatitis) WMD.kif 1798-1798
(instance HepatitisC Hepatitis) WMD.kif 1809-1809
(termFormat ChineseLanguage Hepatitis "肝炎") domainEnglishFormat.kif 27951-27951
(termFormat ChineseTraditionalLanguage Hepatitis "肝炎") domainEnglishFormat.kif 27950-27950
(termFormat EnglishLanguage Hepatitis "hepatitis") domainEnglishFormat.kif 27949-27949

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