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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunistParty

Sigma KEE - CommunistParty
CommunistParty

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


(documentation CommunistParty EnglishLanguage "Any PoliticalParty that advocates for a CommunistState.") Government.kif 2221-2222
(subclass CommunistParty PoliticalParty) Government.kif 2220-2220

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


(termFormat EnglishLanguage CommunistParty "communist party") domainEnglishFormat.kif 3099-3099

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


(=>
    (and
        (instance ?P CommunistParty)
        (member ?M ?P)
        (instance ?A GeopoliticalArea))
    (desires ?M
        (governmentType ?A CommunistState)))
Government.kif 2223-2228


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners