| ChangeOfPossession(change of possession) | | alien, alienate, change_hands, change_owners, convey, demise, desacralize, negociate, pass, secularize, transfer, vest |
| appearance as argument number 1 |
|
|
| (subclass ChangeOfPossession SocialInteraction) | Merge.kif 11811-11811 | Change of possession is a subclass of social interaction |
| (relatedInternalConcept ChangeOfPossession possesses) | Merge.kif 11812-11812 | Change of possession is internally related to possesses |
| (documentation ChangeOfPossession EnglishLanguage "The Class of Processes where ownership of something is transferred from one AutonomousAgent to another.") | Merge.kif 11814-11815 | Change of possession is internally related to possesses |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?CHANGE ChangeOfPossession) (patient ?CHANGE ?OBJ) (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))) (not (equal ?AGENT1 ?AGENT2))) |
Merge.kif 11817-11824 | If X is an instance of change of possession, Y is a patient of X, Z possesses Y holds during the beginning of the time of existence of X, and W possesses Y holds during the end of the time of existence of X, then equal Z and W |
| (=> (and (instance ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 AutonomousAgent) (instance ?AGENT2 AutonomousAgent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ)))) |
Merge.kif 11826-11836 | If All of the following hold: (1) X is an instance of change of possession (2) X originates at Y (3) X ends up at Z (4) Y is an instance of agent (5) Z is an instance of agent (6) W is a patient of X, then Y possesses W holds during the beginning of the time of existence of X and Z possesses W holds during the end of the time of existence of X |
|
|
|