Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Capitalism(capitalism) |
| appearance as argument number 1 |
|
| (documentation Capitalism EnglishLanguage "An economic system based on private ownership of capital.") | Economy.kif 900-901 | |
| (subclass Capitalism BeliefGroup) | Economy.kif 902-902 | Capitalism is a subclass of belief group |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Capitalism "capitalism") | Economy.kif 903-903 |
| antecedent |
|
|
| (=> (member ?CAPITALIST Capitalism) (believes ?CAPITALIST (exists (?MEANOFPRODUCTION ?OBJ ?COUNTRY ?AA) (and (instance ?MEANOFPRODUCTION MeanOfProduction) (attribute ?OBJ ?MEANOFPRODUCTION) (instance ?COUNTRY GeopoliticalArea) (located ?OBJ ?COUNTRY) (instance ?AA AutonomousAgent) (element ?OBJ (PropertyFn ?AA)) (not (equal ?AA (CitizenryFn ?COUNTRY))))))) |
Economy.kif 905-917 | If X is a member of capitalism, then All of the following hold: (1) X believes there exist Y, Z,, , W (2) V such that Y is an instance of mean of production (3) Y is an attribute of Z (4) W is an instance of geopolitical area (5) Z is located at W (6) V is an instance of agent (7) Z is an element of belongings of V (8) equal V (9) the citizenry of W |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Capitalist) (member ?INDIVIDUAL Capitalism)) |
Economy.kif 923-925 | Capitalist is an attribute of X if and only if X is a member of capitalism |
|