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 10951-10954
(externalImage UnilateralGiving "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ Gift_giving_ceremony.jpg") pictureList.kif 10339-10339
(externalImage UnilateralGiving "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Morgan_giving_lecture.png") pictureList.kif 12133-12133
(subclass UnilateralGiving Giving) Merge.kif 10949-10949 subclass UnilateralGiving and Giving

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


(relatedInternalConcept UnilateralGetting UnilateralGiving) Merge.kif 11016-11016 relatedInternalConcept UnilateralGetting and UnilateralGiving
(subclass Awarding UnilateralGiving) Mid-level-ontology.kif 16344-16344 subclass Awarding and UnilateralGiving
(subclass Bequeathing UnilateralGiving) Mid-level-ontology.kif 16376-16376 subclass Bequeathing and UnilateralGiving
(termFormat ChineseLanguage UnilateralGiving "单方面给予") chinese_format.kif 1134-1134
(termFormat EnglishLanguage UnilateralGiving "unilateral giving") english_format.kif 1490-1490

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


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

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


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


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