Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  CommunistState
|
|
|
| appearance as argument number 1 |
|
|
| (instance CommunistState FormOfGovernment) | Government.kif 184-184 | Communist state is an instance of form of government |
| (subAttribute CommunistState AuthoritarianRegime) | Government.kif 328-328 | Communist state is a subattribute of authoritarian regime |
| (externalImage CommunistState "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Communist_countries.PNG") | pictureList.kif 5925-5925 | Communist state is a subattribute of authoritarian regime |
| (externalImage CommunistState "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Communist_States.png") | pictureList.kif 6304-6304 | Communist state is a subattribute of authoritarian regime |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?AREA CommunistState) (instance ?AREA Nation)) (economyType ?AREA CentrallyPlannedEconomy)) |
Economy.kif 865-869 | If communist state is an attribute of X and X is an instance of nation, then centrally planned economy is an economy type of X |
| consequent |
|
|
| (=> (and (instance ?P CommunistParty) (member ?M ?P) (instance ?A GeopoliticalArea)) (desires ?M (governmentType ?A CommunistState))) |
Government.kif 2233-2239 | If X is an instance of communist party, Y is a member of X, and Z is an instance of geopolitical area, then Y desires communist state is a government type of Z |
|
