Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 2405-2406
(
documentation
involvedInEvent
JapaneseLanguage
"(involvedInEvent ?EVENT ?THING) とは、
Process
?EVENTでは、、
Entity
?THING は
CaseRole
の役をする、という意味である。")
japanese_format.kif 486-487
(
domain
involvedInEvent
1
Process
)
Merge.kif 2410-2410
参与活动
的 1 数量 是
过程
的
instance
(
domain
involvedInEvent
2
Entity
)
Merge.kif 2411-2411
参与活动
的 2 数量 是
实体
的
instance
(
instance
involvedInEvent
AsymmetricRelation
)
Merge.kif 2409-2409
参与活动
是
非对称关系
的
instance
(
instance
involvedInEvent
BinaryPredicate
)
Merge.kif 2408-2408
参与活动
是
二元谓语
的
instance
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 2431-2431
主事
是
参与活动
的
subrelation
(
subrelation
destination
involvedInEvent
)
Merge.kif 2442-2442
终点
是
参与活动
的
subrelation
(
subrelation
direction
involvedInEvent
)
Merge.kif 17100-17100
方向
是
参与活动
的
subrelation
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4121-4121
eventPartlyLocated
是
参与活动
的
subrelation
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2456-2456
经历者
是
参与活动
的
subrelation
(
subrelation
moves
involvedInEvent
)
Merge.kif 11110-11110
移动
是
参与活动
的
subrelation
(
subrelation
origin
involvedInEvent
)
Merge.kif 2480-2480
源头
是
参与活动
的
subrelation
(
subrelation
patient
involvedInEvent
)
Merge.kif 2493-2493
受事
是
参与活动
的
subrelation
(
termFormat
ChineseLanguage
involvedInEvent
"参与活动")
domainEnglishFormat.kif 30912-30912
受事
是
参与活动
的
subrelation
(
termFormat
ChineseTraditionalLanguage
involvedInEvent
"參與活動")
domainEnglishFormat.kif 30911-30911
受事
是
参与活动
的
subrelation
(
termFormat
EnglishLanguage
involvedInEvent
"involved in event")
domainEnglishFormat.kif 30910-30910
受事
是
参与活动
的
subrelation
antecedent
(<=>
(
subrelation
?PRED
involvedInEvent
)
(
instance
?PRED
CaseRole
))
Media.kif 119-121
关系
是
参与活动
的
subrelation
若且唯若
那个 关系
是
格角色
的
instance
(=>
(
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 3518-3530
如果
过程
是
Epidemic
的
instance
和
施事体
是事件
那个 过程
的
involved
,
然后
属性
是
疾病或综合症
的
instance
和
那个 属性
是
那个 施事体
的
attribute
或 有存在
另一个 过程
这样
那个 另外 过程
是
病理过程
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
是
那个 过程
的
subProcess
(=>
(
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 11103-11124
如果
转移
是
消化
的
instance
和
施事体
经历了
那个 转移
和
objectTransferred
那个 转移
and
客体
和
那个 客体
是
MoodStabilizer
的
instance
和
过程
是
那个 过程
C 的
instance
和
那个 施事体
是事件
那个 过程
的
involved
和
那个 过程
S 是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
和
那个 过程
S 是
情绪状态
的
instance
和
那个 过程
2 是
那个 过程
C 的
instance
和
那个 施事体
是事件
那个 过程
2 的
involved
和
那个 过程
2 出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
,
然后
那个 过程
S 是
那个 施事体
的
attribute
doesn't 在
那个 过程
2
holdsDuring
的声明 has
较不可能
的语气
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 9107-9114
如果
过程
是
LargeGroupProcess
的
instance
和
群体
是
群体
的
instance
和
物理
是
那个 群体
的
member
和
那个 物理
是事件
那个 过程
的
involved
和
整数
是
那个 群体
的
member
计数,
然后
那个 整数
是
greaterThan
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 9116-9125
如果
过程
是
LargeGroupProcess
的
instance
和
群体
是
群体
的
instance
和
物理
是
那个 群体
的
member
和
那个 物理
是事件
那个 过程
的
involved
,
然后 有存在
类
和
那个 类
C 这样
那个 类
C 是
那个 类
的
instance
和
那个 物理
是事件
那个 类
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 32143-32156
Alone
是
实体
的
attribute
在
时距
holdsDuring
若且唯若 不存在
那个 实体
2 和
过程
这样
那个 实体
不
equal
那个 实体
2 和
那个 实体
2 是
施事体
的
instance
和
那个 过程
是
社交
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 实体
是事件
那个 过程
的
involved
和
那个 实体
2 是事件
那个 过程
的
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 9116-9125
如果
过程
是
LargeGroupProcess
的
instance
和
群体
是
群体
的
instance
和
物理
是
那个 群体
的
member
和
那个 物理
是事件
那个 过程
的
involved
,
然后 有存在
类
和
那个 类
C 这样
那个 类
C 是
那个 类
的
instance
和
那个 物理
是事件
那个 类
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 6089-6109
如果
生产平均值
是
客体
的
attribute
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
制作
的
instance
和
那个 客体
是事件
那个 实体
的
involved
和
那个 客体
不 是
那个 实体
的
result
和
那个 另外 实体
是
人工制品
的
instance
和
那个 另外 实体
是
那个 实体
的
result
和
那个 另外 实体
的 目的 是 有存在
第三 实体
这样
那个 第三 实体
是
出售
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
patient
或 有存在
第四 实体
这样
那个 第四 实体
是
商业服务
的
instance
和
那个 客体
是事件
那个 第四 实体
的
involved
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 19979-19986
如果
机构
equal
DepartmentOfPreventingFn
另一个 机构
and
有点 物理
,
然后
那个 另外 机构
doesn't
desires
有存在
实体
这样
那个 实体
是
有点 物理
的
instance
和
那个 另外 机构
是事件
那个 实体
的
involved
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 6009-6018
如果
危险
物理
and
客体
,
然后 有存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 客体
是
那个 实体
的
patient
和
那个 物理
是事件
那个 实体
的
involved
或
那个 物理
causes
那个 实体
的声明 has
可能性
的语气
(=>
(
holdsDuring
?T
(
attribute
?H
PostTraumaticStressDisorder
))
(
exists
(?V)
(
and
(
instance
?V
ViolentContest
)
(
earlier
(
WhenFn
?V) ?T)
(
involvedInEvent
?V ?H))))
Mid-level-ontology.kif 11076-11084
如果
PostTraumaticStressDisorder
是
实体
的
attribute
在
时距
holdsDuring
,
然后 有存在
过程
这样
那个 过程
是
暴力比赛
的
instance
和
那个 过程
出现 的
time
比
那个 时距
发生的
earlier
和
那个 实体
是事件
那个 过程
的
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 3538-3562
如果
过程
是
Pandemic
的
instance
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
, and 和
第六 实体
这样
那个 实体
是事件
那个 过程
的
involved
和
那个 另外 实体
是事件
那个 过程
的
involved
和
那个 实体
不
equal
那个 另外 实体
和
那个 第三 实体
是
国家
的
instance
和
那个 第四 实体
是
国家
的
instance
和
那个 第三 实体
不
equal
那个 第四 实体
和
那个 第五 实体
是
大陆
的
instance
和
那个 第六 实体
是
大陆
的
instance
和
那个 第五 实体
不
equal
那个 第六 实体
和
那个 实体
是
located
在
那个 第五 实体
和
那个 另外 实体
是
located
在
那个 第六 实体
或
那个 实体
是
located
在
那个 第三 实体
和
那个 另外 实体
是
located
在
那个 第四 实体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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 13143-13152
如果
过程
是
社交
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是事件
那个 过程
的
involved
和
那个 另外 实体
是事件
那个 过程
的
involved
和
那个 实体
是
施事体
的
instance
和
那个 另外 实体
是
施事体
的
instance
和
那个 实体
不
equal
那个 另外 实体
(=>
(
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 6831-6841
如果
实体
是
Parasite
的
instance
,
然后 有存在
另一个 实体
和
那个 实体
ROC 这样
那个 实体
是
located
在
那个 另外 实体
和
那个 实体
是事件
那个 实体
ROC 的
involved
和
那个 另外 实体
是事件
那个 实体
ROC 的
involved
和
那个 实体
是
那个 实体
ROC 的 受益者 和
那个 另外 实体
suffers
从
那个 实体
ROC 的声明 has
容易
的语气
(=>
(
instance
?R
CaseRole
)
(
subrelation
?R
involvedInEvent
))
Merge.kif 2423-2425
如果
关系
是
格角色
的
instance
,
然后
那个 关系
是
参与活动
的
subrelation
(=>
(
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 32127-32138
如果
过程
是以
Solely
的形式发生,
然后 有存在
实体
这样
那个 实体
是事件
那个 过程
的
involved
和
那个 实体
是
施事体
的
instance
和 不存在
那个 实体
2 这样
那个 实体
2 是事件
那个 过程
的
involved
和
那个 实体
2 是
施事体
的
instance
和
那个 实体
不
equal
那个 实体
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