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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 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


        (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION)
        (instance ?ORGANIZATION PoliticalParty))
Government.kif 2236-2240
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsInformation ?INST ?PROP))
    (believes ?PARTY ?PROP))
Government.kif 2272-2279