TickBorneEncephalitis - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TickBorneEncephalitis EnglishLanguage "Any of various forms of encephalitis that are carried by ticks. The diseases have three phases. The first consists of flu-like symptoms, the second is asymptomatic, and the third involves the central nervous system.")	WMD.kif 2038-2041
(subclass TickBorneEncephalitis VaccinatableDisease)	WMD.kif 2037-2037	Tick borne encephalitis is a subclass of vaccinatable disease
(subclass TickBorneEncephalitis ViralDisease)	WMD.kif 2036-2036	Tick borne encephalitis is a subclass of viral disease

appearance as argument number 2

(instance KyasanurForestDisease TickBorneEncephalitis)	WMD.kif 2046-2046	Kyasanur forest disease is an instance of tick borne encephalitis
(termFormat ChineseLanguage TickBorneEncephalitis "蜱传脑炎")	domainEnglishFormat.kif 58054-58054	Kyasanur forest disease is an instance of tick borne encephalitis
(termFormat ChineseTraditionalLanguage TickBorneEncephalitis "蜱傳腦炎")	domainEnglishFormat.kif 58053-58053	Kyasanur forest disease is an instance of tick borne encephalitis
(termFormat EnglishLanguage TickBorneEncephalitis "tick borne encephalitis")	domainEnglishFormat.kif 58052-58052	Kyasanur forest disease is an instance of tick borne encephalitis

consequent

(=>
    (subclass ?VIRUS TickBorneEncephalitisVirus)
    (exists (?DISEASE)
        (and
            (instance ?DISEASE TickBorneEncephalitis)
            (biochemicalAgentSyndrome ?VIRUS ?DISEASE))))

WMD.kif 2029-2034