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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MeanOfProduction
MeanOfProduction

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 MeanOfProductionEconomicRolesubclass では

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


(subAttribute CapitalMeanOfProduction MeanOfProduction) Economy.kif 6112-6112 CapitalMeanOfProductionMeanOfProductionsubattribute では
(subAttribute LaborMeanOfProduction MeanOfProduction) Economy.kif 6198-6198 LaborMeanOfProductionMeanOfProductionsubattribute では
(subAttribute LandMeanOfProduction MeanOfProduction) Economy.kif 6137-6137 LandMeanOfProductionMeanOfProductionsubattribute では
(termFormat ChineseLanguage MeanOfProduction "生产平均值") domainEnglishFormat.kif 36656-36656 LandMeanOfProductionMeanOfProductionsubattribute では
(termFormat ChineseTraditionalLanguage MeanOfProduction "生產平均值") domainEnglishFormat.kif 36655-36655 LandMeanOfProductionMeanOfProductionsubattribute では
(termFormat EnglishLanguage MeanOfProduction "mean of production") domainEnglishFormat.kif 36654-36654 LandMeanOfProductionMeanOfProductionsubattribute では

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