TreeView Knowledge Base Browser

appearance as argument number 1

(subclass MeanOfProduction EconomicRole)	Economy.kif 6106-6106	Mean of production is a subclass of economic role
(documentation MeanOfProduction EnglishLanguage "Means of production refers to physical, non-human inputs used in production—the factories, machines, and tools used to produce wealth — along with both infrastructural capital and natural capital. This includes the classical factors of production minus financial capital and minus human capital. They include two broad categories of objects: instruments of labour (tools, factories, infrastructure, etc.) and subjects of labour (natural resources and raw materials). (Wikipedia)")	Economy.kif 6107-6107	Mean of production is a subclass of economic role

appearance as argument number 2

(subAttribute CapitalMeanOfProduction MeanOfProduction)	Economy.kif 6131-6131	Capital goods is a subattribute of mean of production
(subAttribute LandMeanOfProduction MeanOfProduction)	Economy.kif 6156-6156	Natural resource is a subattribute of mean of production
(subAttribute LaborMeanOfProduction MeanOfProduction)	Economy.kif 6217-6217	Labour is a subattribute of mean of production
(termFormat EnglishLanguage MeanOfProduction "mean of production")	domainEnglishFormat.kif 36647-36647	Labour is a subattribute of mean of production
(termFormat ChineseTraditionalLanguage MeanOfProduction "生產平均值")	domainEnglishFormat.kif 36648-36648	Labour is a subattribute of mean of production
(termFormat ChineseLanguage MeanOfProduction "生产平均值")	domainEnglishFormat.kif 36649-36649	Labour is a subattribute of mean of production

antecedent

(=>
    (attribute ?X MeanOfProduction)
    (hasPurpose ?X
        (or
            (exists (?MAKE ?PRODUCT)
                (and
                    (instance ?MAKE Making)
                    (involvedInEvent ?MAKE ?X)
                    (not
                        (result ?MAKE ?X))
                    (instance ?PRODUCT Artifact)
                    (result ?MAKE ?PRODUCT)
                    (hasPurpose ?PRODUCT
                        (exists (?SELL)
                            (and
                                (instance ?SELL Selling)
                                (patient ?SELL ?PRODUCT))))))
            (exists (?SERVICE)
                (and
                    (instance ?SERVICE CommercialService)
                    (involvedInEvent ?SERVICE ?X))))))

Economy.kif 6108-6128

If mean of production is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of making (3) X is an involved in event of Y (4) X is not a result of Y (5) Z is an instance of artifact (6) Z is a result of Y (7) Z has the purpose there exists W such that W is an instance of selling (8) Z is a patient of W or there exists V such that V is an instance of commercial service (9) X is an involved in event of V

consequent

(=> (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 W Z is an element of belongings of the citizenry of W
(=> (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

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: