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
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2252-2253
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6779-6779
No TPTP formula. May not be expressible in strict first order. Government.kif 2250-2250 Political party is a subclass of political organization

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4866-4866 Democratic party is an instance of political party
No TPTP formula. May not be expressible in strict first order. Government.kif 2276-2276 Nazi party is an instance of political party
No TPTP formula. May not be expressible in strict first order. Government.kif 4871-4871 Republican party is an instance of political party
No TPTP formula. May not be expressible in strict first order. Government.kif 2260-2260 Communist party is a subclass of political party
No TPTP formula. May not be expressible in strict first order. Government.kif 2244-2244 Political coalition is a subclass of political party
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46507-46507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46506-46506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46505-46505

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2226-2226 The number 1 argument of political party of country is an instance of political party

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2295-2299
No TPTP formula. May not be expressible in strict first order. Government.kif 2331-2338