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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialistEconomy

 Sigma KEE - SocialistEconomy
SocialistEconomy

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 802-804
No TPTP formula. May not be expressible in strict first order. Economy.kif 800-800 SocialistEconomy e' uma instancia de EconomicSystemAttribute

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 832-832 CommunalLandOwnershipEconomy e' um sub-atributo de SocialistEconomy
No TPTP formula. May not be expressible in strict first order. Economy.kif 816-816 DemocraticSocialism e' um sub-atributo de SocialistEconomy
No TPTP formula. May not be expressible in strict first order. Economy.kif 807-807 PureSocialistEconomy e' um sub-atributo de SocialistEconomy
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53630-53630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53629-53629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53628-53628


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