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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Funding

 Sigma KEE - Funding
Funding(資金)

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 11717-11722
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 11715-11715 子類 資金 and Giving

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7206-7206 子類 融資 and 資金
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7225-7225 子類 獎學金 and 資金
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7241-7241 子類 福利 and 資金
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 11724-11729


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