|
|
   PoliticalParty
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PoliticalParty EnglishLanguage "PoliticalParty is the class of PoliticalOrganizations that may sponsor candidates for Elections.") | Government.kif 2252-2253 | |
| (externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg") | pictureList.kif 6779-6779 | |
| (subclass PoliticalParty PoliticalOrganization) | Government.kif 2250-2250 | 政治党派 是 政治机构 的 subclass |
| appearance as argument number 2 |
|
|
| (instance DemocraticPartyUS PoliticalParty) | Government.kif 4866-4866 | DemocraticPartyUS 是 政治党派 的 instance |
| (instance NaziParty PoliticalParty) | Government.kif 2276-2276 | 纳粹党 是 政治党派 的 instance |
| (instance RepublicanPartyUS PoliticalParty) | Government.kif 4871-4871 | RepublicanPartyUS 是 政治党派 的 instance |
| (subclass CommunistParty PoliticalParty) | Government.kif 2260-2260 | 共产党 是 政治党派 的 subclass |
| (subclass PoliticalCoalition PoliticalParty) | Government.kif 2244-2244 | 政治联盟 是 政治党派 的 subclass |
| (termFormat ChineseLanguage PoliticalParty "政治党派") | domainEnglishFormat.kif 46507-46507 | |
| (termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派") | domainEnglishFormat.kif 46506-46506 | |
| (termFormat EnglishLanguage PoliticalParty "political party") | domainEnglishFormat.kif 46505-46505 |
| appearance as argument number 3 |
|
|
| (domain politicalPartyOfCountry 1 PoliticalParty) | Government.kif 2226-2226 | 国家政党 的 1 数量 是 政治党派 的 instance |
| antecedent |
|
|
| (=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION)) |
Government.kif 2295-2299 | |
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2331-2338 |
| consequent |
|
|
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2324-2329 |
|
|
|
