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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GivingBack
GivingBack
more pictures...

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 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 ist eine teilkategorie von Giving

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


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 3.0 is open source software produced by Articulate Software and its partners