|
|
  accountNumber
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Funding ChineseLanguage "这是任何 Giving 的实例，当中 patient 是 Currency 的一个实例。注：这个类别兼顾金融例如：一家公司以创投基金注资到一家软件公司，合同声明对方同意给投资公司归还投 资利润特定的某个百分比，和 UnilateralGiving 的实例，例如：作为大学给本科生或研究生奖学金的一部分，豁免 学生学费的安排。") | chinese_format.kif 3075-3078 | |
| (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 11741-11746 | |
| (documentation Funding JapaneseLanguage "patient が Currency のインスタンスである Giving のインスタンス。注：このクラスは、投資の利益の一定の割合が会社に返還される契約を持つベンチャーキャピタ ルを持つソフトウェア会社に資金を提供する場合や、UnilateralGiving のインスタンスなど、両方のファ イナンスをカバーする。例として、奨学金またはフェローシップの一環として、学生に授業料免除および/ また は給付金を提供するなど。") | japanese_format.kif 1844-1848 | |
| (subclass Funding Giving) | Merge.kif 11739-11739 | Funding is a subclass of giving |
| appearance as argument number 2 |
|
|
| (subclass Financing Funding) | Mid-level-ontology.kif 7234-7234 | Financing is a subclass of funding |
| (subclass Scholarship Funding) | Mid-level-ontology.kif 7253-7253 | Scholarship is a subclass of funding |
| (subclass Welfare Funding) | Mid-level-ontology.kif 7269-7269 | Welfare is a subclass of funding |
| (termFormat ChineseLanguage Funding "资金") | domainEnglishFormat.kif 25208-25208 | |
| (termFormat ChineseTraditionalLanguage Funding "資金") | domainEnglishFormat.kif 25207-25207 | |
| (termFormat EnglishLanguage Funding "funding") | domainEnglishFormat.kif 25206-25206 |
| antecedent |
|
|
| (=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY)))) |
Merge.kif 11748-11753 |
|
|
|
|