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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hepatitis
Hepatitis(hepatitis)delta_hepatitis, hepatitis, hepatitis_delta, viral_hepatitis

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


s__documentation(s__Hepatitis,s__EnglishLanguage,'"A class of ViralDiseases that attack the liver."')

WMD.kif 1717-1717
s__subclass(s__Hepatitis,s__ViralDisease)

s__instance(s__Hepatitis,s__SetOrClass)

s__instance(s__ViralDisease,s__SetOrClass)

WMD.kif 1716-1716 Hepatitis is a subclass of viral disease

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


s__instance(s__HepatitisA,s__Hepatitis)

s__instance(s__Hepatitis,s__SetOrClass)

WMD.kif 1725-1725 Hepatitis a is an instance of hepatitis
s__instance(s__Hepatitis,s__SetOrClass)

s__instance(s__HepatitisB,s__Hepatitis)

WMD.kif 1737-1737 Hepatitis b is an instance of hepatitis
s__instance(s__HepatitisC,s__Hepatitis)

s__instance(s__Hepatitis,s__SetOrClass)

WMD.kif 1748-1748 Hepatitis c is an instance of hepatitis
s__termFormat(s__ChineseLanguage,s__Hepatitis,'"肝炎"')

domainEnglishFormat.kif 27942-27942
s__termFormat(s__ChineseTraditionalLanguage,s__Hepatitis,'"肝炎"')

domainEnglishFormat.kif 27941-27941
s__termFormat(s__EnglishLanguage,s__Hepatitis,'"hepatitis"')

domainEnglishFormat.kif 27940-27940

consequent
-------------------------


( ! [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