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 27993-27993
(termFormat ChineseTraditionalLanguage HepatitisVirus "肝炎病毒") domainEnglishFormat.kif 27992-27992
(termFormat EnglishLanguage HepatitisVirus "hepatitis virus") domainEnglishFormat.kif 27991-27991

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