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 11757-11760 | |
(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 10318-10318 | |
(externalImage UnilateralGiving "http://upload.wikimedia.org/wikipedia/commons/ 2/ 29/ Morgan_giving_lecture.png") | pictureList.kif 12106-12106 | |
(subclass UnilateralGiving Giving) | Merge.kif 11755-11755 | Unilateral giving is a subclass of giving |
appearance as argument number 2 |
antecedent |
(=> (instance ?GIVE UnilateralGiving) (not (exists (?TRANS) (and (instance ?TRANS Transaction) (subProcess ?GIVE ?TRANS))))) |
Merge.kif 11762-11768 |
|
consequent |
(=> (instance ?APP Application) (hasPurpose ?APP (exists (?JOIN ?GIVE) (or (instance ?JOIN JoiningAnOrganization) (instance ?GIVE UnilateralGiving))))) |
Mid-level-ontology.kif 14729-14735 |
|