Browsing Interface		 [ Home |  Graph |  ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - GivingBack
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 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

 
 appearance as argument number 2


(termFormat EnglishLanguage GivingBack "giving back") domainEnglishFormat.kif 4191-4191 term format english language giving back "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 9312-9322
  • if a process is an instance of giving back and an agent is an agent of process and process ends at agent
  • then there exists process so that process is an instance of giving and agent is an agent of process and process ends at agent and the time of existence of process happens earlier than the time of existence of process


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      SUMO web home
Sigma version 2.1b (2007/11/20) is open source software produced by Articulate Software and its partners