SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > CaseRole > effector
Next CaseRoleexperiencer    UpCaseRole    Previous CaseRoledirection   

effector comparison table
Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of
CaseRole  The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain
(=>
(and
(instance ?ROLE CaseRole)
(holds ?ROLE ?ARG1 ?ARG2)
(instance ?ARG1 ?PROC))
(capability ?PROC ?ROLE ?ARG2))
BinaryPredicate 
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))))
 CaseRole

Next CaseRoleexperiencer    UpCaseRole    Previous CaseRoledirection