TreeView Knowledge Base Browser - HepatitisVirus

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

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1771-1771
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1770-1770	Hepatitis virus is a subclass of viral agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1780-1780	HepatitisA virus is a subclass of hepatitis virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1793-1793	HepatitisB virus is a subclass of hepatitis virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1804-1804	HepatitisC virus is a subclass of hepatitis virus
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27993-27993
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27992-27992
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27991-27991

antecedent

No TPTP formula. May not be expressible in strict first order.

WMD.kif 1773-1775

If a disease or syndrome is a biochemical agent syndrome of hepatitis virus,
then the disease or syndrome is an instance of hepatitis

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