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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HepatitisVirus
HepatitisVirus(hepatitis virus)arborvirus, arbovirus, hepadnavirus

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


s__documentation(s__HepatitisVirus,s__EnglishLanguage,'"Viruses that cause Hepatitis."')

WMD.kif 1710-1710
s__subclass(s__HepatitisVirus,s__ViralAgent)

s__instance(s__HepatitisVirus,s__SetOrClass)

s__instance(s__ViralAgent,s__SetOrClass)

WMD.kif 1709-1709 Hepatitis virus is a subclass of viral agent

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


s__subclass(s__HepatitisAVirus,s__HepatitisVirus)

s__instance(s__HepatitisAVirus,s__SetOrClass)

s__instance(s__HepatitisVirus,s__SetOrClass)

WMD.kif 1719-1719 HepatitisA virus is a subclass of hepatitis virus
s__subclass(s__HepatitisBVirus,s__HepatitisVirus)

s__instance(s__HepatitisBVirus,s__SetOrClass)

s__instance(s__HepatitisVirus,s__SetOrClass)

WMD.kif 1732-1732 HepatitisB virus is a subclass of hepatitis virus
s__subclass(s__HepatitisCVirus,s__HepatitisVirus)

s__instance(s__HepatitisCVirus,s__SetOrClass)

s__instance(s__HepatitisVirus,s__SetOrClass)

WMD.kif 1743-1743 HepatitisC virus is a subclass of hepatitis virus
s__termFormat(s__ChineseLanguage,s__HepatitisVirus,'"肝炎病毒"')

domainEnglishFormat.kif 27984-27984
s__termFormat(s__ChineseTraditionalLanguage,s__HepatitisVirus,'"肝炎病毒"')

domainEnglishFormat.kif 27983-27983
s__termFormat(s__EnglishLanguage,s__HepatitisVirus,'"hepatitis virus"')

domainEnglishFormat.kif 27982-27982

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


( ! [V__DISEASE] :
   ((s__instance(V__DISEASE,s__DiseaseOrSyndrome) =>
       ((s__biochemicalAgentSyndrome(s__HepatitisVirus,V__DISEASE)
         =>
         (s__instance(V__DISEASE,s__Hepatitis)))))
   )
)

WMD.kif 1712-1714


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