Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Funding
Funding

appearance as argument number 1
-------------------------


(documentation Funding ChineseLanguage "这是任何 Giving 的实例,当中 patientCurrency 的一个实例。注:这个类别兼顾金融例如:一家公司以创投基金注资到一家软件公司,合同声明对方同意给投资公司归还投 资利润特定的某个百分比,和 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 10885-10890
(subclass Funding Giving) Merge.kif 10883-10883

appearance as argument number 2
-------------------------


(subclass Financing Funding) Mid-level-ontology.kif 6869-6869
(subclass Scholarship Funding) Mid-level-ontology.kif 6889-6889
(subclass Welfare Funding) Mid-level-ontology.kif 6905-6905
(termFormat ChineseLanguage Funding "资金") domainEnglishFormat.kif 25135-25135
(termFormat ChineseTraditionalLanguage Funding "資金") domainEnglishFormat.kif 25134-25134
(termFormat EnglishLanguage Funding "funding") domainEnglishFormat.kif 25133-25133

antecedent
-------------------------


(=>
    (instance ?FUND Funding)
    (exists (?MONEY)
        (and
            (instance ?MONEY Currency)
            (patient ?FUND ?MONEY))))
Merge.kif 10892-10897


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners