PoliticalParty
|
|
appearance as argument number 1 |
(documentation PoliticalParty EnglishLanguage "PoliticalParty is the class of PoliticalOrganizations that may sponsor candidates for Elections.") | Government.kif 2216-2217 | |
(externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg") | pictureList.kif 6779-6779 | |
(subclass PoliticalParty PoliticalOrganization) | Government.kif 2214-2214 | PoliticalParty est une sous-classe de organisation politique |
appearance as argument number 2 |
(instance DemocraticPartyUS PoliticalParty) | Government.kif 4830-4830 | DemocraticPartyUS est une instance de PoliticalParty |
(instance NaziParty PoliticalParty) | Government.kif 2240-2240 | NaziParty est une instance de PoliticalParty |
(instance RepublicanPartyUS PoliticalParty) | Government.kif 4835-4835 | RepublicanPartyUS est une instance de PoliticalParty |
(subclass CommunistParty PoliticalParty) | Government.kif 2224-2224 | CommunistParty est une sous-classe de PoliticalParty |
(subclass PoliticalCoalition PoliticalParty) | Government.kif 2208-2208 | PoliticalCoalition est une sous-classe de PoliticalParty |
(termFormat ChineseLanguage PoliticalParty "政治党派") | domainEnglishFormat.kif 46509-46509 | |
(termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派") | domainEnglishFormat.kif 46508-46508 | |
(termFormat EnglishLanguage PoliticalParty "political party") | domainEnglishFormat.kif 46507-46507 |
appearance as argument number 3 |
(domain politicalPartyOfCountry 1 PoliticalParty) | Government.kif 2190-2190 | Le nombre 1 argument de politicalPartyOfCountry est une instance de PoliticalParty |
antecedent |
(=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION)) |
Government.kif 2259-2263 |
|
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2295-2302 |
|
consequent |
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2288-2293 |
|