Capitalism - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Capitalism

Capitalism(capitalism)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 900-901
No TPTP formula. May not be expressible in strict first order.	Economy.kif 902-902	Capitalism is a subclass of belief group

appearance as argument number 2

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

Economy.kif 903-903

antecedent

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

Economy.kif 905-919

If a cognitive agent is a member of capitalism,
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 there exists a fourth entity such that the fourth entity is an instance of agent and the other entity is an element of belongings of the fourth entity and the fourth entity is not equal to the citizenry of the third entity

consequent

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

Economy.kif 925-927

Capitalist is an attribute of an object if and only if the object is a member of capitalism

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners