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 856-859
No TPTP formula. May not be expressible in strict first order. Economy.kif 853-853 Centrally planned economy is an instance of economic system attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 854-854 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 861-865


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