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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnilateralGiving
UnilateralGiving

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


(documentation UnilateralGiving ChineseLanguage "这是任何不属于 Transaction 的一部分 Giving 的实例。换句话说,任何没有回报 Giving 的实例。一些 UnilateralGiving 例子有荣誉奖、礼物和财政补助 等等。") chinese_format.kif 3079-3081
(documentation UnilateralGiving EnglishLanguage "Any instance of Giving that is not part of a Transaction. In other words, any instance of Giving where nothing is received in return. Some examples of UnilateralGiving are: honorary awards, gifts, and financial grants.") Merge.kif 11228-11231
(externalImage UnilateralGiving "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ Gift_giving_ceremony.jpg") pictureList.kif 10328-10328
(externalImage UnilateralGiving "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Morgan_giving_lecture.png") pictureList.kif 12122-12122
(subclass UnilateralGiving Giving) Merge.kif 11226-11226

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


(relatedInternalConcept UnilateralGetting UnilateralGiving) Merge.kif 11293-11293
(subclass Awarding UnilateralGiving) Mid-level-ontology.kif 17847-17847
(subclass Bequeathing UnilateralGiving) Mid-level-ontology.kif 17881-17881
(termFormat ChineseLanguage UnilateralGiving "单方面给予") chinese_format.kif 1134-1134
(termFormat EnglishLanguage UnilateralGiving "unilateral giving") english_format.kif 1485-1485

antecedent
-------------------------


(=>
    (instance ?GIVE UnilateralGiving)
    (not
        (exists (?TRANS)
            (and
                (instance ?TRANS Transaction)
                (subProcess ?GIVE ?TRANS)))))
Merge.kif 11233-11239

consequent
-------------------------


(=>
    (instance ?APP Application)
    (hasPurpose ?APP
        (exists (?JOIN ?GIVE)
            (or
                (instance ?JOIN JoiningAnOrganization)
                (instance ?GIVE UnilateralGiving)))))
Mid-level-ontology.kif 13837-13843


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