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 Agent to another.") | Merge.kif 10896-10897 | |
(relatedInternalConcept ChangeOfPossession possesses) | Merge.kif 10894-10894 | |
(subclass ChangeOfPossession SocialInteraction) | Merge.kif 10893-10893 |
appearance as argument number 2 |
![]() |
(subclass Exporting ChangeOfPossession) | Economy.kif 2398-2398 | |
(subclass Getting ChangeOfPossession) | Merge.kif 11015-11015 | |
(subclass Giving ChangeOfPossession) | Merge.kif 10920-10920 | |
(subclass Sharing ChangeOfPossession) | Mid-level-ontology.kif 16262-16262 | |
(subclass Transaction ChangeOfPossession) | Merge.kif 11049-11049 | |
(termFormat ChineseLanguage ChangeOfPossession "改变所有权") | chinese_format.kif 1132-1132 | |
(termFormat EnglishLanguage ChangeOfPossession "change of possession") | english_format.kif 1486-1486 |
antecedent |
![]() |
(=> (and (instance ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 Agent) (instance ?AGENT2 Agent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ)))) |
Merge.kif 10908-10918 | |
(=> (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 10899-10906 |
![]() |
![]() |