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 2221-2222
(subclass CommunistParty PoliticalParty) Government.kif 2220-2220 CommunistPartyPoliticalPartysubclass では %n

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


(termFormat ChineseLanguage CommunistParty "共产党") domainEnglishFormat.kif 15997-15997 termFormat ChineseLanguage, CommunistParty and "共产党"
(termFormat ChineseTraditionalLanguage CommunistParty "共產黨") domainEnglishFormat.kif 15996-15996 termFormat ChineseTraditionalLanguage, CommunistParty and "共產黨"
(termFormat EnglishLanguage CommunistParty "communist party") domainEnglishFormat.kif 15995-15995 termFormat EnglishLanguage, CommunistParty and "communist party"

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners