Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
vaccine
Sigma KEE - vaccine
vaccine
appearance as argument number 1
(
domainSubclass
vaccine
1
Vaccine
)
WMD.kif 1084-1084
Le nombre 1 argument de
vaccine
est une
sous
-classe de
Vaccine
(
domainSubclass
vaccine
2
Virus
)
WMD.kif 1085-1085
Le nombre 2 argument de
vaccine
est une
sous
-classe de
virus
(
instance
vaccine
BinaryPredicate
)
WMD.kif 1083-1083
vaccine
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
EnglishLanguage
vaccine
"%1 is a
vaccine
for %2")
WMD.kif 1087-1087
(
termFormat
EnglishLanguage
vaccine
"vaccine")
WMD.kif 1086-1086
antecedent
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
virus
transf�re
est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
transf�re
Vaccine
I est une
instance
de
Vaccine
objectTransferred
transf�re
and
Vaccine
I
Vaccine
I a pour
but
entit�
virus
I
entit�
est une
instance
de
Infecting
AutonomousAgent
exp
�rimente
entit�
virus
I est une
instance
de
virus
objectTransferred
entit�
and
virus
I
consequent
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
Transf�re
est une
instance
de
BreakthroughInfection
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
AutonomousAgent
exp
�rimente
transf�re
objet
AX
objet
AX est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
objet
AX
vaccine
objet
ACCINECLASS and
objet
C
objet
ACCINE est une
instance
de
objet
ACCINECLASS
objectTransferred
objet
AX and
objet
ACCINE
temps
d'existence de
objet
AX arrive
plus
t�t que
temps
d'existence de
transf�re
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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