| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3075-3078 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11695-11700 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1844-1848 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11693-11693 | Funding is a subclass of giving |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7207-7207 | Financing is a subclass of funding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7226-7226 | Scholarship is a subclass of funding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7242-7242 | Welfare is a subclass of funding |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25208-25208 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25207-25207 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25206-25206 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11702-11707 |
|
|
|
|