TickBorneEncephalitis - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 58010-58010
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58009-58009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58008-58008

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 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