patient Comparison Table

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

Next CaseRole: destination Up: CaseRole Previous CaseRole: path

patient 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

patient Entity Process (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))))))
CaseRole

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
patient	Entity	Process	(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))))))		CaseRole

Next CaseRole: destination Up: CaseRole Previous CaseRole: path