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 and
Object
(
domain
playsRoleInEvent
2
CaseRole
)
Mid-level-ontology.kif 23238-23238
域
在事件中發揮作用
, 2 and
CaseRole
(
domain
playsRoleInEvent
3
Process
)
Mid-level-ontology.kif 23239-23239
域
在事件中發揮作用
, 3 and
Process
(
instance
playsRoleInEvent
TernaryPredicate
)
Mid-level-ontology.kif 23236-23236
例
在事件中發揮作用
and
TernaryPredicate
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
Object
對於
Process
在事件
CaseRole
plays
角色
例
Process
and
Process
子類
Process
and
Process
時間
Process
and
TimePosition
Process
是
located
在
Object
Object
對於
Process
和
TimePosition
和
Object
在事件類別
CaseRole
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
Object
對於
Process
在事件
CaseRole
plays
角色
例
Process
and
Process
子類
Process
and
Process
時間
Process
and
TimePosition
Process
是
located
在
Object
Object
對於
Process
和
TimePosition
和
Object
在事件類別
CaseRole
plays
角色
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
subrelation
?ROLE ?ROLE2))
(
playsRoleInEvent
?OBJ ?ROLE2 ?EVENT))
Mid-level-ontology.kif 23246-23250
Object
對於
Process
在事件
CaseRole
plays
角色
子關係
CaseRole
and
CaseRole
2
Object
對於
Process
在事件
CaseRole
2
plays
角色
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
Object
對於
Process
在事件
CaseRole
plays
角色
時間
Process
and
TimePosition
Process
是
located
在
Object
Object
對於
Object
在時間
TimePosition
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
CaseRole
Process
and
Object
例
CaseRole
and
CaseRole
例
Process
and
Process
例
Object
and
Object
Object
對於
Process
在事件
CaseRole
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
例
Physical
and
DisabledParking
例
AutonomousAgent
and
Human
attribute
AutonomousAgent
and
Attribute
例
Attribute
and
Disability
有代理人的目的
Physical
,
Physical
對於
entity
在事件
目的地
plays
角色
entity
對於
entity
在事件
患者
plays
角色
例
entity
and
TransportationDevice
and
AutonomousAgent
(=>
(
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
例
Process
and
BreakingRecord
agent
Process
and
AutonomousAgent
Set
Class
,
Process
,
TimePoint
,
CaseRole
,
Object
and
Entity
例
Set
and
Set
元件
AutonomousAgent
and
Set
子類
Class
and
Process
例
Object
and
Region
例
TimePoint
and
TimePoint
例
Entity
and
Quantity
例
Process
and
Class
參照
Process
and
Entity
參照
Entity
and
Process
AutonomousAgent
對於
Process
在事件
CaseRole
plays
角色
Process
是
located
在
Object
Entity
Entity
例
Entity
and
Set
等於
Entity
and
AutonomousAgent
例
Entity
and
Class
持有期間
時間間隔
TimePoint
and
結束
何時
Process
and
Entity
對於
Entity
在事件
CaseRole
plays
角色
Entity
是
located
在
Object
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
subrelation
?ROLE ?ROLE2))
(
playsRoleInEvent
?OBJ ?ROLE2 ?EVENT))
Mid-level-ontology.kif 23246-23250
Object
對於
Process
在事件
CaseRole
plays
角色
子關係
CaseRole
and
CaseRole
2
Object
對於
Process
在事件
CaseRole
2
plays
角色
(=>
(
instance
?PARK
ParkingRegion
)
(
hasPurpose
?PARK
(
and
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
))))
TransportDetail.kif 36-42
例
Physical
and
ParkingRegion
有目的
Physical
and
Physical
對於
entity
在事件
目的地
plays
角色
entity
對於
entity
在事件
患者
plays
角色
例
entity
and
TransportationDevice
(=>
(
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
Object
對於
Process
和
TimePosition
和
Object
在事件類別
CaseRole
plays
角色
Process
例
Process
and
Process
時間
Process
and
TimePosition
Process
是
located
在
Object
Object
對於
Process
在事件
CaseRole
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