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
域
參與活動
, 1 and
Process
(
domain
involvedInEvent
2
Entity
)
Merge.kif 2415-2415
域
參與活動
, 2 and
Entity
(
instance
involvedInEvent
AsymmetricRelation
)
Merge.kif 2413-2413
例
參與活動
and
AsymmetricRelation
(
instance
involvedInEvent
BinaryPredicate
)
Merge.kif 2412-2412
例
參與活動
and
BinaryPredicate
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
子關係
agent
and
參與活動
(
subrelation
destination
involvedInEvent
)
Merge.kif 2446-2446
子關係
目的地
and
參與活動
(
subrelation
direction
involvedInEvent
)
Merge.kif 17011-17011
子關係
方向
and
參與活動
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4118-4118
子關係
eventPartlyLocated
and
參與活動
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2460-2460
子關係
體驗者
and
參與活動
(
subrelation
moves
involvedInEvent
)
Merge.kif 11021-11021
子關係
移動
and
參與活動
(
subrelation
origin
involvedInEvent
)
Merge.kif 2484-2484
子關係
起源
and
參與活動
(
subrelation
patient
involvedInEvent
)
Merge.kif 2497-2497
子關係
患者
and
參與活動
(
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
子關係
Relation
and
參與活動
例
Relation
and
CaseRole
(=>
(
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
例
Process
and
Epidemic
AutonomousAgent
是事件
Process
的
involved
例
Attribute
and
DiseaseOrSyndrome
attribute
AutonomousAgent
and
Attribute
Process
例
Process
and
PathologicProcess
體驗者
Process
and
AutonomousAgent
子過程
Process
and
Process
(=>
(
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 9801-9822
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
MoodStabilizer
例
Process
and
Process
C
AutonomousAgent
是事件
Process
的
involved
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Process
S
例
Process
S and
EmotionalState
例
Process
2 and
Process
C
AutonomousAgent
是事件
Process
2 的
involved
早期
何時
Process
2 and
何時
Transfer
模態屬性
持有期間
Process
2 and
attribute
AutonomousAgent
and
Process
S and
較不可能
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7967-7974
例
Process
and
LargeGroupProcess
例
Collection
and
Collection
會員
Physical
and
Collection
Physical
是事件
Process
的
involved
Integer
是
Collection
的
member
計數
比較多
Integer
and 10
(=>
(
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 7976-7985
例
Process
and
LargeGroupProcess
例
Collection
and
Collection
會員
Physical
and
Collection
Physical
是事件
Process
的
involved
Class
Class
C
例
Class
C and
Class
Physical
是事件
Class
C 的
involved
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 30247-30260
持有期間
TimeInterval
and
attribute
Entity
and
Alone
Entity
2
Process
等於
Entity
and
Entity
2
例
Entity
2 and
AutonomousAgent
例
Process
and
SocialInteraction
期間
何時
Process
and
TimeInterval
Entity
是事件
Process
的
involved
Entity
2 是事件
Process
的
involved
(=>
(
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 7976-7985
例
Process
and
LargeGroupProcess
例
Collection
and
Collection
會員
Physical
and
Collection
Physical
是事件
Process
的
involved
Class
Class
C
例
Class
C and
Class
Physical
是事件
Class
C 的
involved
(=>
(
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
attribute
Object
and
生產平均值
有目的
Object
and
entity
entity
例
entity
and
Making
Object
是事件
entity
的
involved
結果
entity
and
Object
例
entity
and
Artifact
結果
entity
and
entity
有目的
entity
and
entity
例
entity
and
Selling
患者
entity
and
entity
entity
例
entity
and
商業服務
Object
是事件
entity
的
involved
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18435-18442
等於
Organization
and
DepartmentOfPreventingFn
Organization
and
Physical
慾望
Organization
and
entity
例
entity
and
Physical
Organization
是事件
entity
的
involved
(=>
(
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
hazardous
Physical
and
Object
模態屬性
entity
例
entity
and
Damaging
患者
entity
and
Object
Physical
是事件
entity
的
involved
原因
Physical
and
entity
and
可能性
(=>
(
holdsDuring
?T
(
attribute
?H
PostTraumaticStressDisorder
))
(
exists
(?V)
(
and
(
instance
?V
ViolentContest
)
(
earlier
(
WhenFn
?V) ?T)
(
involvedInEvent
?V ?H))))
Mid-level-ontology.kif 9774-9782
持有期間
TimeInterval
and
attribute
Entity
and
PostTraumaticStressDisorder
Process
例
Process
and
ViolentContest
早期
何時
Process
and
TimeInterval
Entity
是事件
Process
的
involved
(=>
(
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
例
Process
and
Pandemic
Entity
Entity
,
Entity
,
Entity
,
Entity
and
Entity
Entity
是事件
Process
的
involved
Entity
是事件
Process
的
involved
等於
Entity
and
Entity
例
Entity
and
Nation
例
Entity
and
Nation
等於
Entity
and
Entity
例
Entity
and
Continent
例
Entity
and
Continent
等於
Entity
and
Entity
持有期間
何時
Process
and
位於
Entity
and
Entity
位於
Entity
and
Entity
位於
Entity
and
Entity
位於
Entity
and
Entity
(=>
(
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 13050-13059
例
Process
and
SocialInteraction
Entity
Entity
Entity
是事件
Process
的
involved
Entity
是事件
Process
的
involved
例
Entity
and
AutonomousAgent
例
Entity
and
AutonomousAgent
等於
Entity
and
Entity
(=>
(
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 5888-5898
例
Entity
and
Parasite
模態屬性
entity
Entity
ROC
位於
Entity
and
entity
Entity
是事件
Entity
ROC 的
involved
entity
是事件
Entity
ROC 的
involved
好處
Entity
ROC and
Entity
entity
suffers
從
Entity
ROC and
容易
(=>
(
instance
?R
CaseRole
)
(
subrelation
?R
involvedInEvent
))
Merge.kif 2427-2429
例
Relation
and
CaseRole
子關係
Relation
and
參與活動
(=>
(
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 30231-30242
方式
Process
and
Solely
Entity
Entity
是事件
Process
的
involved
例
Entity
and
AutonomousAgent
Entity
2
Entity
2 是事件
Process
的
involved
例
Entity
2 and
AutonomousAgent
等於
Entity
and
Entity
2
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