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
O argumento numero 1 de
vaccine
e' uma
sub
-classe de
Vaccine
(
domainSubclass
vaccine
2
Virus
)
WMD.kif 1085-1085
O argumento numero 2 de
vaccine
e' uma
sub
-classe de
Virus
(
instance
vaccine
BinaryPredicate
)
WMD.kif 1083-1083
vaccine
e' uma
instancia
de
Predicado Binario
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
Transferencia
e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Transferencia
Vaccine
I e' uma
instancia
de
Vaccine
objectTransferred
Transferencia
and
Vaccine
I
Vaccine
I tem por
fim
Entidade
Virus
I
Entidade
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Entidade
Virus
I e' uma
instancia
de
Virus
objectTransferred
Entidade
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
Transferencia
e' uma
instancia
de
BreakthroughInfection
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
AutonomousAgent
experimenta
Transferencia
Objeto
AX
Objeto
AX e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Objeto
AX
vaccine
Objeto
ACCINECLASS and
Objeto
C
Objeto
ACCINE e' uma
instancia
de
Objeto
ACCINECLASS
objectTransferred
Objeto
AX and
Objeto
ACCINE
tempo
de existencia de
Objeto
AX acontence
antes
de
tempo
de existencia de
Transferencia
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