UnilateralGiving - Sigma Knowledge base Browser

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 11883-11886
(documentation UnilateralGiving JapaneseLanguage "Transaction の一部ではない Giving のインスタンス。言い換えれば、見返りに何も受け取らない Giving のインスタンス。UnilateralGiving の例として、名誉賞、贈答品、および金銭的補助金などがある。")	japanese_format.kif 1849-1851
(externalImage UnilateralGiving "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ Gift_giving_ceremony.jpg")	pictureList.kif 10316-10316
(externalImage UnilateralGiving "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Morgan_giving_lecture.png")	pictureList.kif 12095-12095
(subclass UnilateralGiving Giving)	Merge.kif 11881-11881	Unilateral giving is a subclass of giving

appearance as argument number 2

(relatedInternalConcept UnilateralGetting UnilateralGiving)	Merge.kif 11960-11960	Unilateral getting is internally related to unilateral giving
(subclass Awarding UnilateralGiving)	Mid-level-ontology.kif 20201-20201	Awarding is a subclass of unilateral giving
(subclass Bequeathing UnilateralGiving)	Mid-level-ontology.kif 20235-20235	Bequeathing is a subclass of unilateral giving
(termFormat ChineseLanguage UnilateralGiving "单方面给予")	chinese_format.kif 1134-1134	Bequeathing is a subclass of unilateral giving
(termFormat EnglishLanguage UnilateralGiving "unilateral giving")	english_format.kif 1485-1485	Bequeathing is a subclass of unilateral giving
(termFormat FrenchLanguage UnilateralGiving "donnation unilat�rale")	french_format.kif 812-812	Bequeathing is a subclass of unilateral giving
(termFormat Hindi UnilateralGiving "ekashaakhiiya arpana")	terms-hindi.txt 344-344	Bequeathing is a subclass of unilateral giving
(termFormat ItalianLanguage UnilateralGiving "Donazione")	terms-it.txt 347-347	Bequeathing is a subclass of unilateral giving
(termFormat JapaneseLanguage UnilateralGiving "一方的な寄付")	japanese_format.kif 2496-2496	Bequeathing is a subclass of unilateral giving
(termFormat PortugueseLanguage UnilateralGiving "Doacao Unilateral")	portuguese_format.kif 764-764	Bequeathing is a subclass of unilateral giving
(termFormat cz UnilateralGiving "unilateral giving")	terms-cz.txt 383-383	Bequeathing is a subclass of unilateral giving
(termFormat de UnilateralGiving "einseitiges Geben")	terms-de.txt 642-642	Bequeathing is a subclass of unilateral giving
(termFormat ro UnilateralGiving "donaþie")	relations-ro.kif 833-833	Bequeathing is a subclass of unilateral giving
(termFormat tg UnilateralGiving "di-pareho sa pagbigay")	terms-tg.txt 348-348	Bequeathing is a subclass of unilateral giving

antecedent

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

Merge.kif 11888-11894

If a process is an instance of unilateral giving,
then there doesn't exist another process such that the other process is an instance of transaction and the process is a subprocess of the other process

consequent

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

Mid-level-ontology.kif 15871-15877

If a physical is an instance of application,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of joining an organization or the other entity is an instance of unilateral giving

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

KB Term:			Term intersection

English Word: