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 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

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


(=>
    (and
        (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