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
Die Zahl 1 Argument von
vaccine
ist eine
teilkategorie
von
Vaccine
%n{nicht}
(
domainSubclass
vaccine
2
Virus
)
WMD.kif 1085-1085
Die Zahl 2 Argument von
vaccine
ist eine
teilkategorie
von
Virus
%n{nicht}
(
instance
vaccine
BinaryPredicate
)
WMD.kif 1083-1083
vaccine
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
vaccine
** Vaccine
and
** Virus
und
Transfer
ist ein
fall
von
Vaccination
%n{nicht} und
AutonomousAgent
erfaehrt
** Transfer
%n{nicht} und
** Vaccine
I ist ein
fall
von
** ** Vaccine
%n{nicht} und
objectTransferred
** Transfer
and
** ** Vaccine
I,
dann
** ** Vaccine
I hat Zweck von es gibt nicht
entity
und
** Virus
I um
** entity
ist ein
fall
von
Infecting
%n{nicht} und
** AutonomousAgent
erfaehrt
** entity
%n{nicht} und
** ** Virus
I ist ein
fall
von
** ** Virus
%n{nicht} und
objectTransferred
** entity
and
** ** Virus
I %n{nicht}
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
Wenn
Transfer
ist ein
fall
von
BreakthroughInfection
%n{nicht} und
objectTransferred
** Transfer
and
Object
und
** Object
ist ein
fall
von
** Object
C %n{nicht} und
AutonomousAgent
erfaehrt
** Transfer
%n{nicht},
dann es gibt
** Object
AX um
** Object
AX ist ein
fall
von
Vaccination
%n{nicht} und
** AutonomousAgent
erfaehrt
** Object
AX %n{nicht} und
vaccine
** Object
ACCINECLASS and
** Object
C und
** Object
ACCINE ist ein
fall
von
** Object
ACCINECLASS %n{nicht} und
objectTransferred
** Object
AX and
** Object
ACCINE und die
zeit
des Bestehens von
** Object
AX geschieht frueh als die
zeit
des Bestehens von
** Transfer
%n{nicht}
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