Communism - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 875-876
No TPTP formula. May not be expressible in strict first order.	Economy.kif 877-877	Communism is a subclass of belief group

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Economy.kif 878-878

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 895-897	Communism is an attribute of an object if and only if the object is a member of communism
No TPTP formula. May not be expressible in strict first order.	Economy.kif 880-889	If a cognitive agent is a member of communism, then the cognitive agent believes if an entity is an instance of mean of production and the entity is an attribute of another entity and a third entity is an instance of geopolitical area and the other entity is located at the third entity, then the other entity is an element of belongings of the citizenry of the third entity

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 895-897