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
playsRoleInEvent
Sigma KEE - playsRoleInEvent
playsRoleInEvent
appearance as argument number 1
(
documentation
playsRoleInEvent
EnglishLanguage
"(
playsRoleInEvent
?OBJ ?ROLE ?EVENT) means that the
Object
?OBJ is involved in the
Process
?EVENT in a way specified by the
CaseRole
predicate ?ROLE.")
Mid-level-ontology.kif 23241-23244
(
domain
playsRoleInEvent
1
Object
)
Mid-level-ontology.kif 23237-23237
在事件中发挥作用
的 1 数量 是
客体
的
instance
(
domain
playsRoleInEvent
2
CaseRole
)
Mid-level-ontology.kif 23238-23238
在事件中发挥作用
的 2 数量 是
格角色
的
instance
(
domain
playsRoleInEvent
3
Process
)
Mid-level-ontology.kif 23239-23239
在事件中发挥作用
的 3 数量 是
过程
的
instance
(
instance
playsRoleInEvent
TernaryPredicate
)
Mid-level-ontology.kif 23236-23236
在事件中发挥作用
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
playsRoleInEvent
"%1 %n{不} 对于 %3 在事件 %2
plays
角色")
domainEnglishFormat.kif 1967-1967
(
format
ChineseTraditionalLanguage
playsRoleInEvent
"%1 %n{不} 對於 %3 在事件 %2
plays
角色")
domainEnglishFormat.kif 1966-1966
(
format
EnglishLanguage
playsRoleInEvent
"%1 %n{doesn't}
plays
role in event %2 for %3")
domainEnglishFormat.kif 1965-1965
(
termFormat
ChineseLanguage
playsRoleInEvent
"在事件中发挥作用")
domainEnglishFormat.kif 46272-46272
(
termFormat
ChineseTraditionalLanguage
playsRoleInEvent
"在事件中發揮作用")
domainEnglishFormat.kif 46271-46271
(
termFormat
EnglishLanguage
playsRoleInEvent
"plays role in event")
domainEnglishFormat.kif 46270-46270
antecedent
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?CLASS)
(
subclass
?CLASS
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23260-23267
如果
客体
对于
过程
在事件
格角色
plays
角色 和
那个 过程
是
另一个 有点 过程
的
instance
和
另一个 有点 过程
是
过程
的
subclass
和
那个 过程
在
时间位置
是 存在 和
那个 过程
是
located
在
另一个 客体
,
然后
那个 客体
对于
那个 另外 有点 过程
和
那个 时间位置
和
那个 另外 客体
在事件类别
那个 格角色
plays
角色
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?TYPE)
(
subclass
?TYPE
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?TYPE ?TIME ?PLACE))
Mid-level-ontology.kif 23289-23296
如果
客体
对于
过程
在事件
格角色
plays
角色 和
那个 过程
是
另一个 有点 过程
的
instance
和
另一个 有点 过程
是
过程
的
subclass
和
那个 过程
在
时间位置
是 存在 和
那个 过程
是
located
在
另一个 客体
,
然后
那个 客体
对于
那个 另外 有点 过程
和
那个 时间位置
和
那个 另外 客体
在事件类别
那个 格角色
plays
角色
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
subrelation
?ROLE ?ROLE2))
(
playsRoleInEvent
?OBJ ?ROLE2 ?EVENT))
Mid-level-ontology.kif 23246-23250
如果
客体
对于
过程
在事件
格角色
plays
角色 和
那个 格角色
是
那个 格角色
2 的
subrelation
,
然后
那个 客体
对于
那个 过程
在事件
那个 格角色
2
plays
角色
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
如果
客体
对于
过程
在事件
格角色
plays
角色 和
那个 过程
在
时间位置
是 存在 和
那个 过程
是
located
在
另一个 客体
,
然后
那个 客体
对于
那个 另外 客体
在时间
那个 时间位置
located
consequent
(=>
(
and
(?ROLE ?EVENT ?OBJ)
(
instance
?ROLE
CaseRole
)
(
instance
?EVENT
Process
)
(
instance
?OBJ
Object
))
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 23252-23258
如果
格角色
过程
and
客体
和
那个 格角色
是
格角色
的
instance
和
那个 过程
是
过程
的
instance
和
那个 客体
是
客体
的
instance
,
然后
那个 客体
对于
那个 过程
在事件
那个 格角色
plays
角色
(=>
(
and
(
instance
?PARK
DisabledParking
)
(
instance
?AGENT
Human
)
(
attribute
?AGENT ?ATTR)
(
instance
?ATTR
Disability
))
(
hasPurposeForAgent
?PARK
(
and
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
)) ?AGENT))
TransportDetail.kif 49-59
如果
物理
是
DisabledParking
的
instance
和
施事体
是
人类
的
instance
和
属性
是
那个 施事体
的
attribute
和
那个 属性
是
Disability
的
instance
,
然后
那个 施事体
在
那个 物理
的 目的 是
那个 物理
对于
实体
在事件
终点
plays
角色 和
另一个 实体
对于
那个 实体
在事件
受事
plays
角色 和
那个 另外 实体
是
运输设备
的
instance
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
如果
过程
是
BreakingRecord
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
集合
,
类
,, ,
另一个 过程
,, ,
时点
,, ,
格角色
,, ,
客体
, and 和
实体
这样
那个 集合
是
集合
的
instance
和
那个 施事体
是
那个 集合
的
element
和
那个 类
是
过程
的
subclass
和
那个 客体
是
地区
的
instance
和
那个 时点
是
时点
的
instance
和
那个 实体
是
数量
的
instance
和
那个 另外 过程
是
那个 类
的
instance
和
那个 过程
提到
那个 实体
和
那个 实体
提到
那个 另外 过程
和
那个 施事体
对于
那个 另外 过程
在事件
那个 格角色
plays
角色 和
那个 另外 过程
是
located
在
那个 客体
和 不存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
那个 集合
的
instance
和
那个 另外 实体
不
equal
那个 施事体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 另外 实体
对于
那个 第三 实体
在事件
那个 格角色
plays
角色 和
那个 第三 实体
是
located
在
那个 客体
在
那个 时点
和
那个 过程
出现 的
time
的结束 间的时段
holdsDuring
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
subrelation
?ROLE ?ROLE2))
(
playsRoleInEvent
?OBJ ?ROLE2 ?EVENT))
Mid-level-ontology.kif 23246-23250
如果
客体
对于
过程
在事件
格角色
plays
角色 和
那个 格角色
是
那个 格角色
2 的
subrelation
,
然后
那个 客体
对于
那个 过程
在事件
那个 格角色
2
plays
角色
(=>
(
instance
?PARK
ParkingRegion
)
(
hasPurpose
?PARK
(
and
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
))))
TransportDetail.kif 36-42
如果
物理
是
ParkingRegion
的
instance
,
然后
那个 物理
的 目的 是
那个 物理
对于
实体
在事件
终点
plays
角色 和
另一个 实体
对于
那个 实体
在事件
受事
plays
角色 和
那个 另外 实体
是
运输设备
的
instance
(=>
(
playsRoleInEventOfType
?OBJ ?ROLE ?TYPE ?TIME ?PLACE)
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?TYPE)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE)
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT))))
Mid-level-ontology.kif 23280-23287
如果
客体
对于
有点 过程
和
时间位置
和
另一个 客体
在事件类别
格角色
plays
角色,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
有点 过程
的
instance
和
那个 另外 过程
在
那个 时间位置
是 存在 和
那个 另外 过程
是
located
在
那个 另外 客体
和
那个 客体
对于
那个 另外 过程
在事件
那个 格角色
plays
角色
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