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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - CommunistParty

appearance as argument number 1

(documentation CommunistParty EnglishLanguage "Any PoliticalParty that advocates for a CommunistState.") Government.kif 2215-2216
(subclass CommunistParty PoliticalParty) Government.kif 2214-2214

appearance as argument number 2

(termFormat ChineseLanguage CommunistParty "共产党") domainEnglishFormat.kif 15991-15991
(termFormat ChineseTraditionalLanguage CommunistParty "共產黨") domainEnglishFormat.kif 15990-15990
(termFormat EnglishLanguage CommunistParty "communist party") domainEnglishFormat.kif 15989-15989


        (instance ?P CommunistParty)
        (member ?M ?P)
        (instance ?A GeopoliticalArea))
    (desires ?M
        (governmentType ?A CommunistState)))
Government.kif 2217-2222

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