Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalParty
PoliticalParty

appearance as argument number 1
-------------------------


(documentation PoliticalParty EnglishLanguage "PoliticalParty is the class of PoliticalOrganizations that may sponsor candidates for Elections.") Government.kif 2213-2214
(externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg") pictureList.kif 6778-6778
(subclass PoliticalParty PoliticalOrganization) Government.kif 2211-2211 PoliticalParty est une sous-classe de organisation politique

appearance as argument number 2
-------------------------


(instance DemocraticPartyUS PoliticalParty) Government.kif 4827-4827 DemocraticPartyUS est une instance de PoliticalParty
(instance NaziParty PoliticalParty) Government.kif 2237-2237 NaziParty est une instance de PoliticalParty
(instance RepublicanPartyUS PoliticalParty) Government.kif 4832-4832 RepublicanPartyUS est une instance de PoliticalParty
(subclass CommunistParty PoliticalParty) Government.kif 2221-2221 CommunistParty est une sous-classe de PoliticalParty
(subclass PoliticalCoalition PoliticalParty) Government.kif 2205-2205 PoliticalCoalition est une sous-classe de PoliticalParty
(termFormat ChineseLanguage PoliticalParty "政治党派") domainEnglishFormat.kif 46509-46509 PoliticalCoalition est une sous-classe de PoliticalParty
(termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派") domainEnglishFormat.kif 46508-46508 PoliticalCoalition est une sous-classe de PoliticalParty
(termFormat EnglishLanguage PoliticalParty "political party") domainEnglishFormat.kif 46507-46507 PoliticalCoalition est une sous-classe de PoliticalParty

appearance as argument number 3
-------------------------


(domain politicalPartyOfCountry 1 PoliticalParty) Government.kif 2187-2187 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 2256-2260
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsFormula ?INST ?P))
    (believes ?PARTY ?P))		 Government.kif 2292-2299