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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliticalParty

Sigma KEE - PoliticalParty
PoliticalParty(political party)
American_Federalist_Party, American_Labor_Party, American_Party, Anti-Masonic_Party, Australian_Labor_Party, Black_Panthers, British_Labour_Party, Bull_Moose_Party, Conservative_Party, Constitutional_Union_Party, Democratic-Republican_Party, Dixiecrats, Farmer-Labor_Party, Federal_Party, Federalist_Party, Free_Soil_Party, Gironde, Green_Party, Greenback_Party, Guomindang, Know-Nothing_Party, Kuomintang, Labor, Labour, Labour_Party, Liberal_Democrat_Party, Liberal_Party, Liberty_Party, Militant_Tendency, Opposition, People's_Party, Populist_Party, Progressive_Party, Prohibition_Party, Social_Democratic_Party, Socialist_Labor_Party, Socialist_Party, States'_Rights_Democratic_Party, Whig_Party, labor_party, labour_party, party, political_party, third_party, war_party

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 Political party is a subclass of political organization

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


(instance DemocraticPartyUS PoliticalParty) Government.kif 4866-4866 Democratic party is an instance of political party
(instance NaziParty PoliticalParty) Government.kif 2276-2276 Nazi party is an instance of political party
(instance RepublicanPartyUS PoliticalParty) Government.kif 4871-4871 Republican party is an instance of political party
(subclass CommunistParty PoliticalParty) Government.kif 2260-2260 Communist party is a subclass of political party
(subclass PoliticalCoalition PoliticalParty) Government.kif 2244-2244 Political coalition is a subclass of political party
(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 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 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners