| Funding(funding) | | European_Recovery_Program, Marshall_Plan, aid, allow, appropriate, benefit, bring_home_the_bacon, earmark, economic_aid, finance, financial_aid, foreign_aid, grant, grant-in-aid, match, price_support, provide, reserve, see_through, seed, set_aside, subsidise, subsidize, subsidy, subvention, support, traineeship |
| appearance as argument number 1 |
|
|
| (subclass Funding Giving) | Merge.kif 11863-11863 | Funding is a subclass of giving |
| (documentation Funding EnglishLanguage "Any instance of Giving where the patient is an instance of Currency. Note that this class covers both financing, e.g. where a firm funds a software company with venture capital with the agreement that a certain percentage of the profits on the investment will be returned to the firm, and instances of UnilateralGiving, e.g. providing a tuition waiver and/ or a stipend to a student as part of scholarship or fellowship.") | Merge.kif 11865-11870 | Funding is a subclass of giving |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY)))) |
Merge.kif 11872-11877 | If X is an instance of funding, then there exists Y such that Y is an instance of currency and Y is a patient of X |
|
|
|