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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Funding

 Sigma KEE - Funding
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 11741-11746
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 11739-11739 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 7234-7234 Financing is a subclass of funding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7253-7253 Scholarship is a subclass of funding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7269-7269 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 11748-11753


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners