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 2212-2213
(externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg")	pictureList.kif 6780-6780	externalImage PoliticalParty and "http://upload.wikimedia.org/wikipedia/commons/6/6b/ ElezioneBrunate.jpg"
(subclass PoliticalParty PoliticalOrganization)	Government.kif 2210-2210	PoliticalParty は政治組織の subclass では %n

appearance as argument number 2

(instance DemocraticPartyUS PoliticalParty)	Government.kif 4802-4802	DemocraticPartyUS は PoliticalParty の instance では %n
(instance NaziParty PoliticalParty)	Government.kif 2230-2230	NaziParty は PoliticalParty の instance では %n
(instance RepublicanPartyUS PoliticalParty)	Government.kif 4807-4807	RepublicanPartyUS は PoliticalParty の instance では %n
(subclass CommunistParty PoliticalParty)	Government.kif 2220-2220	CommunistParty は PoliticalParty の subclass では %n
(subclass PoliticalCoalition PoliticalParty)	Government.kif 2204-2204	PoliticalCoalition は PoliticalParty の subclass では %n
(termFormat ChineseLanguage PoliticalParty "政治党派")	domainEnglishFormat.kif 46447-46447	termFormat ChineseLanguage, PoliticalParty and "政治党派"
(termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派")	domainEnglishFormat.kif 46446-46446	termFormat ChineseTraditionalLanguage, PoliticalParty and "政治黨派"
(termFormat EnglishLanguage PoliticalParty "political party")	domainEnglishFormat.kif 46445-46445	termFormat EnglishLanguage, PoliticalParty and "political party"

appearance as argument number 3

(domain politicalPartyOfCountry 1 PoliticalParty)

Government.kif 2186-2186

antecedent

(=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION))	Government.kif 2242-2246	occupiesPosition 人［人間］, ポジション and 組織組織は PoliticalParty の instance では %n 人［人間］は組織の member では %n
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsInformation ?INST ?PROP)) (believes ?PARTY ?PROP))	Government.kif 2278-2285	コンテンツベアリングオブジェクトは PartyPlatform の subclass では %n 認識エージェントはコンテンツベアリングオブジェクトの author では %n 認識エージェントは PoliticalParty の instance では %n ContentBearingPhysical はコンテンツベアリングオブジェクトの instance では %n ContentBearingPhysical は公式の情報を contains %n{ない} 認識エージェントは公式を believes %n{ない}

consequent

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

Government.kif 2271-2276