SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > CaseRole > experiencer

experiencer
subject			fact

experiencer	documentation (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
	has axiom (=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))
	has axiom (=> (birthTime ?ORGANISM ?TIME) (holdsDuring ?TIME (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM)))))
	has axiom (=> (deathTime ?ORGANISM ?TIME) (holdsDuring ?TIME (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM)))))
	has axiom (=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))
	has axiom (=> (instance ?ORGANISM Organism) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM))))
	has domain1 Process
	has domain2 Agent
	is an instance of CaseRole
CaseRole	is second domain of capability
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
Predicate	is first domain of singleValued
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Next CaseRole: origin    Up: CaseRole    Previous CaseRole: effector