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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunistParty

Sigma KEE - CommunistParty
CommunistParty(communist party)Communist_Party

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


(documentation CommunistParty EnglishLanguage "Any PoliticalParty that advocates for a CommunistState.") Government.kif 2261-2262
(subclass CommunistParty PoliticalParty) Government.kif 2260-2260 Communist party is a subclass of political party

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


(instance ChineseCommunistParty CommunistParty) Government.kif 2271-2271 CCP is an instance of communist party
(termFormat ChineseLanguage CommunistParty "共产党") domainEnglishFormat.kif 16068-16068
(termFormat ChineseTraditionalLanguage CommunistParty "共產黨") domainEnglishFormat.kif 16067-16067
(termFormat EnglishLanguage CommunistParty "communist party") domainEnglishFormat.kif 16066-16066

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


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


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 3.0 is open source software produced by Articulate Software and its partners