GivingBack(giving back)
more pictures... | render, return |
| (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 9308-9310 | %3 |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Karin-knapp-usopen-2007.jpg") | pictureList.kif 11156-11156 | externalImage giving back "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 11159-11159 | externalImage giving back "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 10093-10093 | externalImage giving back "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 11155-11155 | externalImage giving back "http://upload.wikimedia.org/wikipedia/commons/9/96/ HernandezOscarPlay.jpg" |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ Makiri.JPG") | pictureList.kif 11158-11158 | externalImage giving back "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 11157-11157 | externalImage giving back "http://upload.wikimedia.org/wikipedia/commons/f/f5/ Maria_Kirilenko_US_Open.JPG" |
| (subclass GivingBack Giving) | Merge.kif 9307-9307 | giving back is a subclass of giving |
| (termFormat EnglishLanguage GivingBack "giving back") | domainEnglishFormat.kif 4191-4191 | term format english language giving back "giving back" |
| (=> (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 9312-9322 |
|
|
|