| PoliticalParty
| |
| appearance as argument number 1 |
|
|
| (documentation PoliticalParty EnglishLanguage "PoliticalParty is the class of PoliticalOrganizations that may sponsor candidates for Elections.") | Government.kif 2206-2207 | |
| (externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg") | pictureList.kif 6780-6780 | |
| (subclass PoliticalParty PoliticalOrganization) | Government.kif 2204-2204 | subclass PoliticalParty and PoliticalOrganization |
| appearance as argument number 2 |
|
|
| (instance DemocraticPartyUS PoliticalParty) | Government.kif 4797-4797 | instance DemocraticPartyUS and PoliticalParty |
| (instance NaziParty PoliticalParty) | Government.kif 2224-2224 | instance NaziParty and PoliticalParty |
| (instance RepublicanPartyUS PoliticalParty) | Government.kif 4802-4802 | instance RepublicanPartyUS and PoliticalParty |
| (subclass CommunistParty PoliticalParty) | Government.kif 2214-2214 | subclass CommunistParty and PoliticalParty |
| (subclass PoliticalCoalition PoliticalParty) | Government.kif 2198-2198 | subclass PoliticalCoalition and PoliticalParty |
| (termFormat ChineseLanguage PoliticalParty "政治党派") | domainEnglishFormat.kif 46406-46406 | |
| (termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派") | domainEnglishFormat.kif 46405-46405 | |
| (termFormat EnglishLanguage PoliticalParty "political party") | domainEnglishFormat.kif 46404-46404 |
| appearance as argument number 3 |
|
|
| (domain politicalPartyOfCountry 1 PoliticalParty) | Government.kif 2180-2180 | domain politicalPartyOfCountry, 1 and PoliticalParty |
| antecedent |
|
|
| (=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION)) |
Government.kif 2236-2240 | |
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsInformation ?INST ?PROP)) (believes ?PARTY ?PROP)) |
Government.kif 2272-2279 |
| consequent |
|
|
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2265-2270 |
|
|
|