UnilateralGiving - Sigma Knowledge base Browser

appearance as argument number 1

(subclass UnilateralGiving Giving)	Merge.kif 11985-11985	Unilateral giving is a subclass of giving
(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 11987-11990	Unilateral giving is a subclass of giving
(externalImage UnilateralGiving "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ Gift_giving_ceremony.jpg")	pictureList.kif 10316-10316	Unilateral giving is a subclass of giving
(externalImage UnilateralGiving "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Morgan_giving_lecture.png")	pictureList.kif 12095-12095	Unilateral giving is a subclass of giving

appearance as argument number 2

(relatedInternalConcept UnilateralGetting UnilateralGiving)	Merge.kif 12064-12064	Unilateral getting is internally related to unilateral giving
(subclass Awarding UnilateralGiving)	Mid-level-ontology.kif 20563-20563	Awarding is a subclass of unilateral giving
(subclass Bequeathing UnilateralGiving)	Mid-level-ontology.kif 20597-20597	Bequeathing is a subclass of unilateral giving
(termFormat EnglishLanguage UnilateralGiving "unilateral giving")	english_format.kif 1489-1489	Bequeathing is a subclass of unilateral giving

antecedent

(=>
    (instance ?GIVE UnilateralGiving)
    (not
        (exists (?TRANS)
            (and
                (instance ?TRANS Transaction)
                (subProcess ?GIVE ?TRANS)))))

If X is an instance of unilateral giving, then there doesn't exist Y such that Y is an instance of transaction and X is a subprocess of Y

consequent

(=>
    (instance ?APP Application)
    (hasPurpose ?APP
        (exists (?JOIN ?GIVE)
            (or
                (instance ?JOIN JoiningAnOrganization)
                (instance ?GIVE UnilateralGiving)))))

If X is an instance of application, then X has the purpose there exist Y and Z such that Y is an instance of joining an organization or Z is an instance of unilateral giving