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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HepatitisVirus

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 HepatitisVirus è una sottoclasse di ViralAgent

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


(subclass HepatitisAVirus HepatitisVirus) WMD.kif 1780-1780 HepatitisAVirus è una sottoclasse di HepatitisVirus
(subclass HepatitisBVirus HepatitisVirus) WMD.kif 1793-1793 HepatitisBVirus è una sottoclasse di HepatitisVirus
(subclass HepatitisCVirus HepatitisVirus) WMD.kif 1804-1804 HepatitisCVirus è una sottoclasse di HepatitisVirus
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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