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 2215-2216
(subclass CommunistParty PoliticalParty) Government.kif 2214-2214 subclass CommunistParty and PoliticalParty

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