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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HepatitisVirus
HepatitisVirus

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


(documentation HepatitisVirus EnglishLanguage "Viruses that cause Hepatitis.") WMD.kif 1771-1771
(subclass HepatitisVirus ViralAgent) WMD.kif 1770-1770

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


(subclass HepatitisAVirus HepatitisVirus) WMD.kif 1780-1780
(subclass HepatitisBVirus HepatitisVirus) WMD.kif 1793-1793
(subclass HepatitisCVirus HepatitisVirus) WMD.kif 1804-1804
(termFormat ChineseLanguage HepatitisVirus "肝炎病毒") domainEnglishFormat.kif 28022-28022
(termFormat ChineseTraditionalLanguage HepatitisVirus "肝炎病毒") domainEnglishFormat.kif 28021-28021
(termFormat EnglishLanguage HepatitisVirus "hepatitis virus") domainEnglishFormat.kif 28020-28020

antecedent
-------------------------


(=>
    (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