SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > CaseRole
Next AsymmetricRelationcauses    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationCardinalityFn   

CaseRole comparison table
Subject have domain2 have domain1 documentation have axiom
destinationEntityProcess(destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'. Thus, John would be the destination in the following proposition: Tom gave a book to John
(=>
(instance ?TRANS Transaction)
(exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
(and
(instance ?GIVE1 Giving)
(instance ?GIVE2 Giving)
(subProcess ?GIVE1 ?TRANS)
(subProcess ?GIVE2 ?TRANS)
(agent ?GIVE1 ?AGENT1)
(agent ?GIVE2 ?AGENT2)
(patient ?GIVE1 ?OBJ1)
(patient ?GIVE2 ?OBJ2)
(destination ?GIVE1 ?AGENT2)
(destination ?GIVE2 ?AGENT1)
(not
(equal ?AGENT1 ?AGENT2))
(not
(equal ?OBJ1 ?OBJ2)))))
directionDirectionAttributeProcess(direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North
(=>
(holdsDuring ?TIME (direction ?PROC ?ATTR1))
(forall (?ATTR2)
(=>
(holdsDuring ?TIME (direction ?PROC ?ATTR2))
(equal ?ATTR2 ?ATTR1))))
effectorObjectProcess(effector ?ACTION ?ENTITY) means that ?ENTITY is an active determinant, either animate or inanimate, of the Process ?ACTION, with or without voluntary intention. For example, water is the effector of erosion in the following proposition: the water eroded the coastline
(=>
(and
(instance ?VIRUS Virus)
(instance ?PROC Replication)
(effector ?PROC ?VIRUS))
(exists (?CELL)
(and
(located ?PROC ?CELL)
(instance ?CELL Cell))))
experiencerAgentProcess(experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the Process ?PROCESS. For example, Yojo is the experiencer of seeing in the following proposition: Yojo sees the fish. Note that experiencer, unlike effector, does not entail a causal relation between its arguments
(=>
(instance ?ORGANISM Organism)
(exists (?DEATH)
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?ORGANISM))))
originObjectProcess(origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the origin in the following proposition: the missile was launched from a submarine
(=>
(and
(instance ?ROLE CaseRole)
(holds ?ROLE ?ARG1 ?ARG2)
(instance ?ARG1 ?PROC))
(capability ?PROC ?ROLE ?ARG2))
pathRegionMotion(path ?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101
(=>
(and
(path ?PROCESS ?PATH)
(origin ?PROCESS ?SOURCE)
(destination ?PROCESS ?DEST))
(forall (?OBJ)
(=>
(part ?OBJ ?PATH)
(between ?SOURCE ?OBJ ?DEST))))
patientEntityProcess(patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, said, experienced, etc. For example, the direct objects in the sentences 'The cat swallowed the canary' and 'Billy likes the beer' would be examples of patients. Note that the patient of a Process may or may not undergo structural change as a result of the Process. The CaseRole of patient is used when one wants to specify as broadly as possible the object of a Process
(=>
(possesses ?PERSON ?OBJ)
(exists (?TYPE)
(and
(holdsRight ?PERSON ?TYPE)
(forall (?PROCESS)
(=>
(instance ?PROCESS ?TYPE)
(patient ?PROCESS ?OBJ))))))

Next AsymmetricRelationcauses    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationCardinalityFn