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
域子類
vaccine
, 1 and
Vaccine
(
domainSubclass
vaccine
2
Virus
)
WMD.kif 1085-1085
域子類
vaccine
, 2 and
Virus
(
instance
vaccine
BinaryPredicate
)
WMD.kif 1083-1083
例
vaccine
and
BinaryPredicate
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
例
Transfer
and
Vaccination
體驗者
Transfer
and
AutonomousAgent
例
Vaccine
I and
Vaccine
objectTransferred
Transfer
and
Vaccine
I
有目的
Vaccine
I and
entity
Virus
I
例
entity
and
Infecting
體驗者
entity
and
AutonomousAgent
例
Virus
I and
Virus
objectTransferred
entity
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
例
Transfer
and
BreakthroughInfection
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
體驗者
Transfer
and
AutonomousAgent
Object
AX
例
Object
AX and
Vaccination
體驗者
Object
AX and
AutonomousAgent
vaccine
Object
ACCINECLASS and
Object
C
例
Object
ACCINE and
Object
ACCINECLASS
objectTransferred
Object
AX and
Object
ACCINE
早期
何時
Object
AX and
何時
Transfer
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