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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7207-7207 子類 融資 and 資金
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7226-7226 子類 獎學金 and 資金
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7242-7242 子類 福利 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 11702-11707


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