ChangeOfPossession
|
|
appearance as argument number 1 |
(documentation ChangeOfPossession ChineseLanguage "这是一组 Process Class,它出现在当 某样东西的拥有权从一个 Agent 转换到另外一个时。") | chinese_format.kif 3071-3072 | |
(documentation ChangeOfPossession EnglishLanguage "The Class of Processes where ownership of something is transferred from one AutonomousAgent to another.") | Merge.kif 11644-11645 | |
(documentation ChangeOfPossession JapaneseLanguage "何かの所有権がある Agent から別の Agent に移される Process の Clas 。") | japanese_format.kif 1840-1841 | |
(relatedInternalConcept ChangeOfPossession possesses) | Merge.kif 11642-11642 | CambiamentodiPossesso è interamente correlato a possesses |
(subclass ChangeOfPossession SocialInteraction) | Merge.kif 11641-11641 | CambiamentodiPossesso è una sottoclasse di InterazioneSociale |
appearance as argument number 2 |
antecedent |
(=> (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 11656-11666 |
|
(=> (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 11647-11654 |