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 2212-2213
(externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg") pictureList.kif 6780-6780 "http://upload.wikimedia.org/wikipedia/commons/6/6b/ ElezioneBrunate.jpg" is a URL depicting political party
(subclass PoliticalParty PoliticalOrganization) Government.kif 2210-2210 Political party is a subclass of political organization

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


(instance DemocraticPartyUS PoliticalParty) Government.kif 4802-4802 Democratic party is an instance of political party
(instance NaziParty PoliticalParty) Government.kif 2230-2230 Nazi party is an instance of political party
(instance RepublicanPartyUS PoliticalParty) Government.kif 4807-4807 Republican party is an instance of political party
(subclass CommunistParty PoliticalParty) Government.kif 2220-2220 Communist party is a subclass of political party
(subclass PoliticalCoalition PoliticalParty) Government.kif 2204-2204 Political coalition is a subclass of political party
(termFormat EnglishLanguage PoliticalParty "political party") domainEnglishFormat.kif 8174-8174 "political party" is the printable form of political party in english language

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


(domain politicalPartyOfCountry 1 PoliticalParty) Government.kif 2186-2186 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 2242-2246
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsInformation ?INST ?PROP))
    (believes ?PARTY ?PROP))
Government.kif 2278-2285

consequent
-------------------------


(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY Organization))
    (instance ?PARTY PoliticalParty))
Government.kif 2271-2276


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners