Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (equal ?C
        (AgentOfOrganismFn TickBorneEncephalitisVirus))
    (subclass ?C LifeThreateningAgent))
WMD.kif 2019-2022
(=>
    (subclass ?VIRUS TickBorneEncephalitisVirus)
    (exists (?DISEASE)
        (and
            (instance ?DISEASE TickBorneEncephalitis)
            (biochemicalAgentSyndrome ?VIRUS ?DISEASE))))
WMD.kif 2029-2034
(subclass TickBorneEncephalitisVirus Virus) WMD.kif 2017-2017 TickBorneEncephalitisVirus ist eine teilkategorie von Virus
(subclass KyasanurForestDiseaseVirus TickBorneEncephalitisVirus) WMD.kif 2043-2043 KyasanurForestDiseaseVirus ist eine teilkategorie von TickBorneEncephalitisVirus


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