![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PrivatizingEconomy(privatizing economy) |
| appearance as argument number 1 |
|
|
| (instance PrivatizingEconomy EconomicSystemAttribute) | Economy.kif 872-872 | Privatizing economy is an instance of economic system attribute |
| (subAttribute PrivatizingEconomy MixedEconomy) | Economy.kif 873-873 | Privatizing economy is a subattribute of mixed economy |
| (documentation PrivatizingEconomy EnglishLanguage "PrivatizingEconomy is an Attribute that describes a country in which formerly government- owned industries are being transferred into private holdings.") | Economy.kif 927-929 | Privatizing economy is a subattribute of mixed economy |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?AREA PrivatizingEconomy) (economyType ?AREA CountryInTransition)) |
Economy.kif 931-933 | If privatizing economy is an attribute of X, then country in transition is an economy type of X |