PoliticalParty - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PoliticalParty EnglishLanguage "PoliticalParty is the class of PoliticalOrganizations that may sponsor candidates for Elections.")	Government.kif 2213-2214
(externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg")	pictureList.kif 6778-6778
(subclass PoliticalParty PoliticalOrganization)	Government.kif 2211-2211	PoliticalParty は政治組織の subclass では

appearance as argument number 2

(instance DemocraticPartyUS PoliticalParty)	Government.kif 4827-4827	DemocraticPartyUS は PoliticalParty の instance では
(instance NaziParty PoliticalParty)	Government.kif 2237-2237	NaziParty は PoliticalParty の instance では
(instance RepublicanPartyUS PoliticalParty)	Government.kif 4832-4832	RepublicanPartyUS は PoliticalParty の instance では
(subclass CommunistParty PoliticalParty)	Government.kif 2221-2221	CommunistParty は PoliticalParty の subclass では
(subclass PoliticalCoalition PoliticalParty)	Government.kif 2205-2205	PoliticalCoalition は PoliticalParty の subclass では
(termFormat ChineseLanguage PoliticalParty "政治党派")	domainEnglishFormat.kif 46509-46509	PoliticalCoalition は PoliticalParty の subclass では
(termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派")	domainEnglishFormat.kif 46508-46508	PoliticalCoalition は PoliticalParty の subclass では
(termFormat EnglishLanguage PoliticalParty "political party")	domainEnglishFormat.kif 46507-46507	PoliticalCoalition は PoliticalParty の subclass では

appearance as argument number 3

(domain politicalPartyOfCountry 1 PoliticalParty)

Government.kif 2187-2187

antecedent

(=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION))	Government.kif 2256-2260	人［人間］は組織のポジションの position を holds 組織は PoliticalParty の instance では人［人間］は組織の member では
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P))	Government.kif 2292-2299	コンテンツベアリングオブジェクトは PartyPlatform の subclass では認識エージェントはコンテンツベアリングオブジェクトの author では認識エージェントは PoliticalParty の instance では ContentBearingPhysical はコンテンツベアリングオブジェクトの instance では containsFormula ContentBearingPhysical and 公式認識エージェントは公式を believes

consequent

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

Government.kif 2285-2290