Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeanOfProduction
MeanOfProduction(mean of production)capital, working_capital

appearance as argument number 1
-------------------------


(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 6088-6088
(subclass MeanOfProduction EconomicRole) Economy.kif 6087-6087 Mean of production is a subclass of economic role

appearance as argument number 2
-------------------------


(subAttribute CapitalMeanOfProduction MeanOfProduction) Economy.kif 6112-6112 Capital goods is a subattribute of mean of production
(subAttribute LaborMeanOfProduction MeanOfProduction) Economy.kif 6198-6198 Labour is a subattribute of mean of production
(subAttribute LandMeanOfProduction MeanOfProduction) Economy.kif 6137-6137 Natural resource is a subattribute of mean of production
(termFormat ChineseLanguage MeanOfProduction "生产平均值") domainEnglishFormat.kif 36673-36673 Natural resource is a subattribute of mean of production
(termFormat ChineseTraditionalLanguage MeanOfProduction "生產平均值") domainEnglishFormat.kif 36672-36672 Natural resource is a subattribute of mean of production
(termFormat EnglishLanguage MeanOfProduction "mean of production") domainEnglishFormat.kif 36671-36671 Natural resource 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 6089-6109

consequent
-------------------------


(=>
    (member ?CAPITALIST Capitalism)
    (believes ?CAPITALIST
        (=>
            (and
                (instance ?MEANOFPRODUCTION MeanOfProduction)
                (attribute ?OBJ ?MEANOFPRODUCTION)
                (instance ?COUNTRY GeopoliticalArea)
                (located ?OBJ ?COUNTRY))
            (exists (?AA)
                (and
                    (instance ?AA AutonomousAgent)
                    (element ?OBJ
                        (PropertyFn
                            (?AA)))
                    (not
                        (equal ?AA
                            (CitizenryFn ?COUNTRY))))))))
Economy.kif 905-919
(=>
    (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


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