| 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 10899-10900 | |
| (relatedInternalConcept ChangeOfPossession possesses) | Merge.kif 10897-10897 | |
| (subclass ChangeOfPossession SocialInteraction) | Merge.kif 10896-10896 |
| appearance as argument number 2 |
|
|
| (subclass Exporting ChangeOfPossession) | Economy.kif 2398-2398 | |
| (subclass Getting ChangeOfPossession) | Merge.kif 11018-11018 | |
| (subclass Giving ChangeOfPossession) | Merge.kif 10923-10923 | |
| (subclass Sharing ChangeOfPossession) | Mid-level-ontology.kif 15099-15099 | |
| (subclass Transaction ChangeOfPossession) | Merge.kif 11052-11052 | |
| (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 10911-10921 | |
| (=> (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 10902-10909 |
|
|
|