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 ist eine teilkategorie von ViralAgent

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


(subclass HepatitisAVirus HepatitisVirus) WMD.kif 1780-1780 HepatitisAVirus ist eine teilkategorie von HepatitisVirus
(subclass HepatitisBVirus HepatitisVirus) WMD.kif 1793-1793 HepatitisBVirus ist eine teilkategorie von HepatitisVirus
(subclass HepatitisCVirus HepatitisVirus) WMD.kif 1804-1804 HepatitisCVirus ist eine teilkategorie von 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