GivingBack more pictures... |
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 | GivingBack è una sottoclasse di Dare |
appearance as argument number 2 |
(termFormat ChineseLanguage GivingBack "回馈") | domainEnglishFormat.kif 26088-26088 | |
(termFormat ChineseTraditionalLanguage GivingBack "回饋") | domainEnglishFormat.kif 26087-26087 | |
(termFormat EnglishLanguage GivingBack "giving back") | domainEnglishFormat.kif 26086-26086 |
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 |
|