PoliticalParty - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PoliticalParty PoliticalOrganization)	Government.kif 2220-2220	Political party is a subclass of political organization
(documentation PoliticalParty EnglishLanguage "PoliticalParty is the class of PoliticalOrganizations that may sponsor candidates for Elections.")	Government.kif 2222-2223	Political party is a subclass of political organization

appearance as argument number 2

(subclass PoliticalCoalition PoliticalParty)	Government.kif 2214-2214	Political coalition is a subclass of political party
(subclass CommunistParty PoliticalParty)	Government.kif 2230-2230	Communist party is a subclass of political party
(instance NaziParty PoliticalParty)	Government.kif 2246-2246	Nazi party is an instance of political party
(instance DemocraticPartyUS PoliticalParty)	Government.kif 4858-4858	Democratic party is an instance of political party
(instance RepublicanPartyUS PoliticalParty)	Government.kif 4863-4863	Republican party is an instance of political party
(termFormat EnglishLanguage PoliticalParty "political party")	domainEnglishFormat.kif 46500-46500	Republican party is an instance of political party
(termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派")	domainEnglishFormat.kif 46501-46501	Republican party is an instance of political party
(termFormat ChineseLanguage PoliticalParty "政治党派")	domainEnglishFormat.kif 46502-46502	Republican party is an instance of political party

appearance as argument number 3

(domain politicalPartyOfCountry 1 PoliticalParty)

antecedent

(=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION))	Government.kif 2265-2269	If X holds the position of Y in Z and Z is an instance of political party, then X is a member of Z
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P))	Government.kif 2301-2308	If X is a subclass of party platform, Y is the author of X, Y is an instance of political party, Z is an instance of X, and Z contains the formula W, then Y believes W

consequent

(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY Organization))
    (instance ?PARTY PoliticalParty))