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
involvedInEvent
Sigma KEE - involvedInEvent
involvedInEvent
appearance as argument number 1
(
documentation
involvedInEvent
ChineseLanguage
"(involvedInEvent ?EVENT ?THING) 的意思是 在 ?EVENT这个
Process
,?THING 这个
Entity
佔着一点
CaseRole
。")
chinese_format.kif 1863-1864
(
documentation
involvedInEvent
EnglishLanguage
"(involvedInEvent ?EVENT ?THING) means that in the
Process
?EVENT, the
Entity
?THING plays some
CaseRole
.")
Merge.kif 2409-2410
(
documentation
involvedInEvent
JapaneseLanguage
"(involvedInEvent ?EVENT ?THING) とは、
Process
?EVENTでは、、
Entity
?THING は
CaseRole
の役をする、という意味である。")
japanese_format.kif 486-487
(
domain
involvedInEvent
1
Process
)
Merge.kif 2414-2414
(
domain
involvedInEvent
2
Entity
)
Merge.kif 2415-2415
(
instance
involvedInEvent
AsymmetricRelation
)
Merge.kif 2413-2413
(
instance
involvedInEvent
BinaryPredicate
)
Merge.kif 2412-2412
appearance as argument number 2
(
format
ChineseLanguage
involvedInEvent
"%2 %n 是事件 %1 的 involved ")
domainEnglishFormat.kif 1389-1389
(
format
ChineseTraditionalLanguage
involvedInEvent
"%2 %n 是事件 %1 的 involved ")
domainEnglishFormat.kif 1388-1388
(
format
EnglishLanguage
involvedInEvent
"%2 is %n an involved in event of %1")
domainEnglishFormat.kif 1387-1387
(
subrelation
agent
involvedInEvent
)
Merge.kif 2435-2435
(
subrelation
destination
involvedInEvent
)
Merge.kif 2446-2446
(
subrelation
direction
involvedInEvent
)
Merge.kif 16962-16962
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2460-2460
(
subrelation
moves
involvedInEvent
)
Merge.kif 11009-11009
(
subrelation
origin
involvedInEvent
)
Merge.kif 2484-2484
(
subrelation
patient
involvedInEvent
)
Merge.kif 2497-2497
(
termFormat
ChineseLanguage
involvedInEvent
"参与活动")
domainEnglishFormat.kif 30901-30901
(
termFormat
ChineseTraditionalLanguage
involvedInEvent
"參與活動")
domainEnglishFormat.kif 30900-30900
(
termFormat
EnglishLanguage
involvedInEvent
"involved in event")
domainEnglishFormat.kif 30899-30899
antecedent
(<=>
(
subrelation
?PRED
involvedInEvent
)
(
instance
?PRED
CaseRole
))
Media.kif 119-121
(=>
(
and
(
instance
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9773-9794
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7939-7946
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M))
(
exists
(?P ?PC)
(
and
(
instance
?PC ?P)
(
involvedInEvent
?PC ?M))))
Mid-level-ontology.kif 7948-7957
consequent
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30211-30224
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M))
(
exists
(?P ?PC)
(
and
(
instance
?PC ?P)
(
involvedInEvent
?PC ?M))))
Mid-level-ontology.kif 7948-7957
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 5747-5767
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18407-18414
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
(=>
(
holdsDuring
?T
(
attribute
?H
PostTraumaticStressDisorder
))
(
exists
(?V)
(
and
(
instance
?V
ViolentContest
)
(
earlier
(
WhenFn
?V) ?T)
(
involvedInEvent
?V ?H))))
Mid-level-ontology.kif 9746-9754
(=>
(
instance
?E
Pandemic
)
(
exists
(?H1 ?H2 ?N1 ?N2 ?C1 ?C2)
(
and
(
involvedInEvent
?E ?H1)
(
involvedInEvent
?E ?H2)
(
not
(
equal
?H1 ?H2))
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
instance
?C1
Continent
)
(
instance
?C2
Continent
)
(
not
(
equal
?C1 ?C2))
(
holdsDuring
(
WhenFn
?E)
(
or
(
and
(
located
?H1 ?C1)
(
located
?H2 ?C2))
(
and
(
located
?H1 ?N1)
(
located
?H2 ?N2)))))))
Medicine.kif 3537-3561
(=>
(
instance
?INTERACTION
SocialInteraction
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
involvedInEvent
?INTERACTION ?AGENT1)
(
involvedInEvent
?INTERACTION ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Merge.kif 13026-13035
(=>
(
instance
?P
Parasite
)
(
modalAttribute
(
exists
(?H ?PROC)
(
and
(
located
?P ?H)
(
involvedInEvent
?PROC ?P)
(
involvedInEvent
?PROC ?H)
(
benefits
?PROC ?P)
(
suffers
?PROC ?H)))
Likely
))
Mid-level-ontology.kif 5893-5903
(=>
(
instance
?R
CaseRole
)
(
subrelation
?R
involvedInEvent
))
Merge.kif 2427-2429
(=>
(
manner
?P
Solely
)
(
exists
(?H)
(
and
(
involvedInEvent
?P ?H)
(
instance
?H
AutonomousAgent
)
(
not
(
exists
(?H2)
(
and
(
involvedInEvent
?P ?H2)
(
instance
?H2
AutonomousAgent
)
(
not
(
equal
?H ?H2))))))))
Mid-level-ontology.kif 30195-30206
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