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 2258-2259
(subclass CommunistParty PoliticalParty) Government.kif 2257-2257 共产党政治党派subclass

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


(instance ChineseCommunistParty CommunistParty) Government.kif 2268-2268 ChineseCommunistParty共产党instance
(termFormat ChineseLanguage CommunistParty "共产党") domainEnglishFormat.kif 16059-16059
(termFormat ChineseTraditionalLanguage CommunistParty "共產黨") domainEnglishFormat.kif 16058-16058
(termFormat EnglishLanguage CommunistParty "communist party") domainEnglishFormat.kif 16057-16057

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


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


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