more pictures...
| GivingBack(giving back)
more pictures... | | render, return |
| appearance as argument number 1 |
|
|
| (documentation GivingBack ChineseLanguage "这是任何一种 Giving 的实例，这是当 agent 给 destination 一些之前由 destination 给 agent 的东西，例如：归还之前向某人借的一本书。") | chinese_format.kif 3084-3085 | |
| (documentation GivingBack EnglishLanguage "Any instance of Giving where the agent gives something to the destination which was previously given to the agent by the destination, e.g. returing a book that was borrowed from someone.") | Merge.kif 11805-11807 | |
| (documentation GivingBack JapaneseLanguage "agent が以前に destination によって agent に与えられた destination に何かを与える Giving のインスタンス。例えば誰かから借りた本を返却 する、など。") | japanese_format.kif 1854-1856 | |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Karin-knapp-usopen-2007.jpg") | pictureList.kif 11089-11089 | |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Humanitarian_aid_OCPA-2005-10-28-090517.jpg") | pictureList.kif 11092-11092 | |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Serena_Williams_waiting_to_return_serve_Australian_Open_2006_crop.JPG") | pictureList.kif 10036-10036 | |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ HernandezOscarPlay.jpg") | pictureList.kif 11088-11088 | |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ Makiri.JPG") | pictureList.kif 11091-11091 | |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ f/ f5/ Maria_Kirilenko_US_Open.JPG") | pictureList.kif 11090-11090 | |
| (subclass GivingBack Giving) | Merge.kif 11803-11803 | Giving back is a subclass of giving |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GivingBack "回馈") | domainEnglishFormat.kif 26122-26122 | |
| (termFormat ChineseTraditionalLanguage GivingBack "回饋") | domainEnglishFormat.kif 26121-26121 | |
| (termFormat EnglishLanguage GivingBack "giving back") | domainEnglishFormat.kif 26120-26120 |
| antecedent |
|
|
| (=> (and (instance ?RETURN GivingBack) (agent ?RETURN ?AGENT) (destination ?RETURN ?DEST)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?DEST) (destination ?GIVE ?AGENT) (earlier (WhenFn ?GIVE) (WhenFn ?RETURN))))) |
Merge.kif 11809-11819 |
|
|
|
|