TreeView Knowledge Base Browser - TickBorneEncephalitis

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

TickBorneEncephalitis

Sigma KEE - TickBorneEncephalitis

TickBorneEncephalitis(tick borne encephalitis)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 2038-2041
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2037-2037	Tick borne encephalitis is a subclass of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2036-2036	Tick borne encephalitis is a subclass of viral disease

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 2046-2046	Kyasanur forest disease is an instance of tick borne encephalitis
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58012-58012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58011-58011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58010-58010

consequent

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

WMD.kif 2029-2034

If a kind of biochemical agent is a subclass of tick borne encephalitis virus,
then there exists a disease or syndrome such that the disease or syndrome is an instance of tick borne encephalitis and the disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent

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