Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GivingBack
GivingBack
more pictures...

VerbNet: send-11.1|return, send-11.1|return,


appearance as argument number 1
-------------------------


(documentation GivingBack ChineseLanguage "这是任何一种 Giving 的实例,这是当 agentdestination 一些之前由 destinationagent 的东西,例如:归还之前向某人借的一本书。") 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 10937-10939
(externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Karin-knapp-usopen-2007.jpg") pictureList.kif 11116-11116
(externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Humanitarian_aid_OCPA-2005-10-28-090517.jpg") pictureList.kif 11119-11119
(externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Serena_Williams_waiting_to_return_serve_Australian_Open_2006_crop.JPG") pictureList.kif 10055-10055
(externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ HernandezOscarPlay.jpg") pictureList.kif 11115-11115
(externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ Makiri.JPG") pictureList.kif 11118-11118
(externalImage GivingBack "http://upload.wikimedia.org/wikipedia/commons/ f/ f5/ Maria_Kirilenko_US_Open.JPG") pictureList.kif 11117-11117
(subclass GivingBack Giving) Merge.kif 10935-10935

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage GivingBack "回馈") domainEnglishFormat.kif 26011-26011
(termFormat ChineseTraditionalLanguage GivingBack "回饋") domainEnglishFormat.kif 26010-26010
(termFormat EnglishLanguage GivingBack "giving back") domainEnglishFormat.kif 26009-26009

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 10941-10951


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners