Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Communism(communism) |  | communism |
| appearance as argument number 1 |
|
|
| (documentation Communism EnglishLanguage "A political theory favoring collectivism in a classless society.") | Economy.kif 875-876 | |
| (subclass Communism BeliefGroup) | Economy.kif 877-877 | Communism is a subclass of belief group |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Communism "communism") | Economy.kif 878-878 |
| antecedent |
|
|
| (=> (member ?COMMUNIST Communism) (believes ?COMMUNIST (=> (and (instance ?MEANOFPRODUCTION MeanOfProduction) (attribute ?OBJ ?MEANOFPRODUCTION) (instance ?COUNTRY GeopoliticalArea) (located ?OBJ ?COUNTRY)) (element ?OBJ (PropertyFn (CitizenryFn ?COUNTRY)))))) |
Economy.kif 880-889 | If X is a member of communism, then X believes Y is an instance of mean of production, Y is an attribute of Z, W is an instance of geopolitical area, and Z is located at WZ is an element of belongings of the citizenry of W |
| (<=> (attribute ?INDIVIDUAL Communism) (member ?INDIVIDUAL Communism)) |
Economy.kif 895-897 | Communism is an attribute of X if and only if X is a member of communism |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Communism) (member ?INDIVIDUAL Communism)) |
Economy.kif 895-897 | Communism is an attribute of X if and only if X is a member of communism |
|