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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommunistParty
CommunistParty(共产党)

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 共产党政治党派subclass

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


(instance ChineseCommunistParty CommunistParty) Government.kif 2271-2271 ChineseCommunistParty共产党instance
(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 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