Notes
Outline
OE Example: Events and Roles
Events in Cyc
Roles and Event Predicates
Actor Slots
Sub-events
Actor “slots”
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
#$ActorSlot hierarchy (partial)
#$ActorSlot hierarchy (partial)
Inferential relations of roles and temporal predicates
Inferential relations of roles and temporal predicates
Inferential relations of roles and temporal predicates
Some non-#$ActorSlot roles
#$affectedAgent Why isn’t it in #$ActorSlot?
Some non-#$ActorSlot roles
#$affectedAgent Why isn’t it in #$ActorSlot?
Its arg2 need not be a participant in the event
Some non-#$ActorSlot roles
#$distanceTranslated           Why not?
Some non-#$ActorSlot roles
#$distanceTranslated           Why not?
Its arg2 is not an instance of #$SomethingExisting
Some non-#$ActorSlot roles
#$objectsInContact   Why not?
Some non-#$ActorSlot roles
#$objectsInContact   Why not?
It is not a binary predicate
Inferencing using roles
Mt: #$EPRExamplesMt
(#$isa #$LOrient #$SailingWarship)
    (#$inputsDestroyed #$BattleOfTheNile #$LOrient)
(#$endsDuring #$LOrient #$BattleOfTheNile)
    (#$inputs #$BattleOfTheNile #$LOrient)
Summary
Actor “slots”
#$ActorSlot hierarchy (partial)
Inferential relations of roles and temporal predicates
Inferencing using roles