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 HepatitisViralDiseasesubclass では %n

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


(instance HepatitisA Hepatitis) WMD.kif 1786-1786 HepatitisAHepatitisinstance では %n
(instance HepatitisB Hepatitis) WMD.kif 1798-1798 HepatitisBHepatitisinstance では %n
(instance HepatitisC Hepatitis) WMD.kif 1809-1809 HepatitisCHepatitisinstance では %n
(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