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 2225-2226
(subclass CommunistParty PoliticalParty) Government.kif 2224-2224 CommunistParty è una sottoclasse di PoliticalParty

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


(instance ChineseCommunistParty CommunistParty) Government.kif 2235-2235 ChineseCommunistParty è un' istanza di CommunistParty
(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 2227-2233


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