more pictures...
| GivingBack(giving back)
more pictures... | | render, return |
| appearance as argument number 1 |
|
|
| (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 9318-9320 | |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Karin-knapp-usopen-2007.jpg") | pictureList.kif 11152-11152 | externalImage giving back and "http://upload.wikimedia.org/wikipedia/commons/1/13/ Karin-knapp-usopen-2007.jpg" |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Humanitarian_aid_OCPA-2005-10-28-090517.jpg") | pictureList.kif 11155-11155 | externalImage giving back and "http://upload.wikimedia.org/wikipedia/commons/3/39/ Humanitarian_aid_OCPA-2005-10-28-090517.jpg" |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Serena_Williams_waiting_to_return_serve_Australian_Open_2006_crop.JPG") | pictureList.kif 10090-10090 | externalImage giving back and "http://upload.wikimedia.org/wikipedia/commons/5/50/ Serena_Williams_waiting_to_return_serve_Australian_Open_2006_crop.JPG" |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ HernandezOscarPlay.jpg") | pictureList.kif 11151-11151 | externalImage giving back and "http://upload.wikimedia.org/wikipedia/commons/9/96/ HernandezOscarPlay.jpg" |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ Makiri.JPG") | pictureList.kif 11154-11154 | externalImage giving back and "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Makiri.JPG" |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ f/ f5/ Maria_Kirilenko_US_Open.JPG") | pictureList.kif 11153-11153 | externalImage giving back and "http://upload.wikimedia.org/wikipedia/commons/f/f5/ Maria_Kirilenko_US_Open.JPG" |
| (subclass GivingBack Giving) | Merge.kif 9317-9317 | Giving back is a subclass of giving |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GivingBack "giving back") | domainEnglishFormat.kif 4148-4148 | term format english language, giving back and "giving back" |
| 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 9322-9332 |
|
|
|
|