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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Communism
Communism

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


(documentation Communism EnglishLanguage "A political theory favoring collectivism in a classless society.") Economy.kif 875-876
(subclass Communism BeliefGroup) Economy.kif 877-877

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


(termFormat EnglishLanguage Communism "communism") Economy.kif 878-878

antecedent
-------------------------


(<=>
    (attribute ?INDIVIDUAL Communism)
    (member ?INDIVIDUAL Communism))
Economy.kif 895-897
(=>
    (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

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


(<=>
    (attribute ?INDIVIDUAL Communism)
    (member ?INDIVIDUAL Communism))
Economy.kif 895-897


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