Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
equal
?C
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 2019-2022
If
a kind of biological agent
is
equal
to the
biological
agent
of
tick borne encephalitis virus
,
then
a kind of biological agent
is a
subclass
of
life threatening agent
(=>
(
subclass
?VIRUS
TickBorneEncephalitisVirus
)
(
exists
(?DISEASE)
(
and
(
instance
?DISEASE
TickBorneEncephalitis
)
(
biochemicalAgentSyndrome
?VIRUS ?DISEASE))))
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
(
subclass
TickBorneEncephalitisVirus
Virus
)
WMD.kif 2017-2017
Tick borne encephalitis virus
is a
subclass
of
virus
(
subclass
KyasanurForestDiseaseVirus
TickBorneEncephalitisVirus
)
WMD.kif 2043-2043
Kyasanur forest disease virus
is a
subclass
of
tick borne encephalitis virus
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