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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PrivatizingEconomy
PrivatizingEconomy(privatizing economy)

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


s__documentation(s__PrivatizingEconomy,s__EnglishLanguage,'"PrivatizingEconomy is an Attribute that describes a country in which formerly government- owned industries are being transferred into private holdings."')

Economy.kif 871-873
s__instance(s__EconomicSystemAttribute,s__Class)

s__instance(s__PrivatizingEconomy,s__EconomicSystemAttribute)

Economy.kif 868-868 Privatizing economy is an instance of economic system attribute
s__subAttribute(s__PrivatizingEconomy,s__MixedEconomy)

Economy.kif 869-869 Privatizing economy is a subattribute of mixed economy

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


s__termFormat(s__ChineseLanguage,s__PrivatizingEconomy,'"私有化经济"')

domainEnglishFormat.kif 47463-47463
s__termFormat(s__ChineseTraditionalLanguage,s__PrivatizingEconomy,'"私有化經濟"')

domainEnglishFormat.kif 47462-47462
s__termFormat(s__EnglishLanguage,s__PrivatizingEconomy,'"privatizing economy"')

domainEnglishFormat.kif 47461-47461

antecedent
-------------------------


( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       ((s__attribute(V__AREA,s__PrivatizingEconomy) =>
           (s__economyType(V__AREA,s__CountryInTransition)))))
     )
   )

Economy.kif 875-877


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