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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CentrallyPlannedEconomy
CentrallyPlannedEconomy(centrally planned economy)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 855-858
No TPTP formula. May not be expressible in strict first order. Economy.kif 852-852 Centrally planned economy is an instance of economic system attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 853-853 Centrally planned economy is a subattribute of government regulated economy

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13875-13875
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13874-13874
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13873-13873

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 860-864


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