|
|
|
Events in Cyc |
|
Roles and Event Predicates |
|
Actor Slots |
|
Sub-events |
|
|
|
|
|
Every instance of #$ActorSlot must meet these
criteria: |
|
|
|
It is a #$BinaryPredicate |
|
Its arg1 is an #$Event |
|
Its arg2 is a #$SomethingExisting that plays a
part* in the #$Event |
|
It has #$actors as a #$genlPreds |
|
Its arg2 #$temporallyIntersects the event in
arg1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#$affectedAgent Why isn’t it in #$ActorSlot? |
|
|
|
|
|
#$affectedAgent Why isn’t it in #$ActorSlot? |
|
Its arg2 need not be a participant in the event |
|
|
|
|
#$distanceTranslated Why not? |
|
|
|
|
|
#$distanceTranslated Why not? |
|
Its arg2 is not an instance of
#$SomethingExisting |
|
|
|
|
#$objectsInContact Why not? |
|
|
|
|
|
#$objectsInContact Why not? |
|
It is not a binary predicate |
|
|
|
|
Mt: #$EPRExamplesMt |
|
|
|
(#$isa #$LOrient #$SailingWarship) |
|
(#$inputsDestroyed #$BattleOfTheNile #$LOrient) |
|
|
|
(#$endsDuring #$LOrient #$BattleOfTheNile) |
|
(#$inputs #$BattleOfTheNile #$LOrient) |
|
|
|
|
Actor “slots” |
|
#$ActorSlot hierarchy (partial) |
|
Inferential relations of roles and temporal
predicates |
|
Inferencing using roles |
|