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

effector
subjectfact 
effectordocumentation (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 coastline2001-11-30 13:34:08.0
has axiom
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))
2001-11-30 13:34:08.0
has axiom
(=>
(and
(instance ?VIRUS Virus)
(instance ?PROC Replication)
(effector ?PROC ?VIRUS))
(exists (?CELL)
(and
(located ?PROC ?CELL)
(instance ?CELL Cell))))
2001-11-30 13:34:08.0
has domain1 Process2001-11-30 13:34:08.0
has domain2 Object2001-11-30 13:34:08.0
is an instance of CaseRole2001-11-30 13:34:08.0
CaseRoleis second domain of capability2001-11-30 13:33:48.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next CaseRoleexperiencer    UpCaseRole    Previous CaseRoledirection