TreeView 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	"http://upload.wikimedia.org/wikipedia/commons/6/6b/ ElezioneBrunate.jpg" is a URL depicting political party
(subclass PoliticalParty PoliticalOrganization)	Government.kif 2210-2210	Political party is a subclass of political organization

appearance as argument number 2

(instance DemocraticPartyUS PoliticalParty)	Government.kif 4802-4802	Democratic party is an instance of political party
(instance NaziParty PoliticalParty)	Government.kif 2230-2230	Nazi party is an instance of political party
(instance RepublicanPartyUS PoliticalParty)	Government.kif 4807-4807	Republican party is an instance of political party
(subclass CommunistParty PoliticalParty)	Government.kif 2220-2220	Communist party is a subclass of political party
(subclass PoliticalCoalition PoliticalParty)	Government.kif 2204-2204	Political coalition is a subclass of political party
(termFormat EnglishLanguage PoliticalParty "political party")	domainEnglishFormat.kif 8174-8174	"political party" is the printable form of political party in english language

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	If a human holds the position of a position in an organization and the organization is an instance of political party, then the human is a member of the organization
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsInformation ?INST ?PROP)) (believes ?PARTY ?PROP))	Government.kif 2278-2285	If a kind of content bearing object is a subclass of party platform and a cognitive agent is the author of a kind of content bearing object and the cognitive agent is an instance of political party and a content bearing physical is an instance of the kind of content bearing object and the content bearing physical contains information a formula, then the cognitive agent believes the formula

consequent

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

Government.kif 2271-2276