|
|
| appearance as argument number 1 |
|
|
| (subclass PoliticalParty PoliticalOrganization) | Government.kif 2211-2211 | Political party is a subclass of political organization |
| (documentation PoliticalParty EnglishLanguage "PoliticalParty is the class of PoliticalOrganizations that may sponsor candidates for Elections.") | Government.kif 2213-2214 | Political party is a subclass of political organization |
| (externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg") | pictureList.kif 6778-6778 | Political party is a subclass of political organization |
| appearance as argument number 2 |
|
|
| (subclass PoliticalCoalition PoliticalParty) | Government.kif 2205-2205 | Political coalition is a subclass of political party |
| (subclass CommunistParty PoliticalParty) | Government.kif 2221-2221 | Communist party is a subclass of political party |
| (instance NaziParty PoliticalParty) | Government.kif 2237-2237 | Nazi party is an instance of political party |
| (instance DemocraticPartyUS PoliticalParty) | Government.kif 4847-4847 | Democratic party is an instance of political party |
| (instance RepublicanPartyUS PoliticalParty) | Government.kif 4852-4852 | Republican party is an instance of political party |
| (termFormat EnglishLanguage PoliticalParty "political party") | domainEnglishFormat.kif 46500-46500 | Republican party is an instance of political party |
| (termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派") | domainEnglishFormat.kif 46501-46501 | Republican party is an instance of political party |
| (termFormat ChineseLanguage PoliticalParty "政治党派") | domainEnglishFormat.kif 46502-46502 | Republican party is an instance of political party |
| appearance as argument number 3 |
|
|
| (domain politicalPartyOfCountry 1 PoliticalParty) | Government.kif 2187-2187 | The number 1 argument of political party of country is an instance of political party |
| antecedent |
|
|
| (=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION)) |
Government.kif 2256-2260 | If X holds the position of Y in Z and Z is an instance of political party, then X is a member of Z |
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2292-2299 | If X is a subclass of party platform, Y is the author of X, Y is an instance of political party, Z is an instance of X, and Z contains the formula W, then Y believes W |
| consequent |
|
|
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2285-2290 | If X is a subclass of party platform, Y is the author of X, and Y is an instance of organization, then Y is an instance of political party |
|
|
|
