more pictures...
| GivingBack(giving back)
more pictures... | | render, return |
| appearance as argument number 1 |
|
|
| (subclass GivingBack Giving) | Merge.kif 11927-11927 | Giving back is a subclass of giving |
| (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 11929-11931 | Giving back is a subclass of giving |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Serena_Williams_waiting_to_return_serve_Australian_Open_2006_crop.JPG") | pictureList.kif 10034-10034 | Giving back is a subclass of giving |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ HernandezOscarPlay.jpg") | pictureList.kif 11081-11081 | Giving back is a subclass of giving |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Karin_knapp_usopen-2007.jpg") | pictureList.kif 11082-11082 | Giving back is a subclass of giving |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ f/ f5/ Maria_Kirilenko_US_Open.JPG") | pictureList.kif 11083-11083 | Giving back is a subclass of giving |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ Makiri.JPG") | pictureList.kif 11084-11084 | Giving back is a subclass of giving |
| (externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Humanitarian_aid_OCPA-2005-10-28-090517.jpg") | pictureList.kif 11085-11085 | Giving back is a subclass of giving |
| appearance as argument number 2 |
|
|
| 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 11933-11943 | If X is an instance of giving back, Y is an agent of X, and X ends up at Z, then there exists W such that W is an instance of giving, Z is an agent of W, W ends up at Y, and the time of existence of W happens earlier than the time of existence of X |
|
|
|