Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TickBorneEncephalitisVirus(tick borne encephalitis virus) |
| appearance as argument number 1 |
|
| (subclass TickBorneEncephalitisVirus Virus) | WMD.kif 2013-2013 | Tick borne encephalitis virus is a subclass of virus |
| (biologicalAgentCarrier TickBorneEncephalitisVirus Tick) | WMD.kif 2020-2020 | Tick is a biological agent carrier of tick borne encephalitis virus |
| (biochemicalAgentDelivery TickBorneEncephalitisVirus Injecting) | WMD.kif 2021-2021 | Injecting is a biochemical agent delivery of tick borne encephalitis virus |
| (documentation TickBorneEncephalitisVirus EnglishLanguage "Any Virus whose host is a tick and which carries an instance of TickBorneEncephalitis.") | WMD.kif 2022-2023 | Injecting is a biochemical agent delivery of tick borne encephalitis virus |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (equal ?C (AgentOfOrganismFn TickBorneEncephalitisVirus)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 2015-2018 | If equal X and the biological agent of tick borne encephalitis virus, then X is a subclass of life threatening agent |
| (=> (subclass ?VIRUS TickBorneEncephalitisVirus) (exists (?DISEASE) (and (instance ?DISEASE TickBorneEncephalitis) (biochemicalAgentSyndrome ?VIRUS ?DISEASE)))) |
WMD.kif 2025-2030 | If X is a subclass of tick borne encephalitis virus, then there exists Y such that Y is an instance of tick borne encephalitis and Y is a biochemical agent syndrome of X |
|