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
-------------------------


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 e' uma sub-classe de Dar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7234-7234 Financing e' uma sub-classe de Funding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7253-7253 Scholarship e' uma sub-classe de Funding
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7269-7269 Welfare e' uma sub-classe de 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 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 3.0 is open source software produced by Articulate Software and its partners