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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(instance DemocraticPartyUS PoliticalParty) Government.kif 4797-4797 Democratic party is an instance of political party
(instance NaziParty PoliticalParty) Government.kif 2224-2224 Nazi party is an instance of political party
(instance RepublicanPartyUS PoliticalParty) Government.kif 4802-4802 Republican party is an instance of political party
(subclass CommunistParty PoliticalParty) Government.kif 2214-2214 Communist party is a subclass of political party
(subclass PoliticalCoalition PoliticalParty) Government.kif 2198-2198 Political coalition is a subclass of political party
(termFormat ChineseLanguage PoliticalParty "政治党派") domainEnglishFormat.kif 46447-46447 "政治党派" is the printable form of political party in ChineseLanguage
(termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派") domainEnglishFormat.kif 46446-46446 "政治黨派" is the printable form of political party in ChineseTraditionalLanguage
(termFormat EnglishLanguage PoliticalParty "political party") domainEnglishFormat.kif 46445-46445 "political party" is the printable form of political party in english language

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


(domain politicalPartyOfCountry 1 PoliticalParty) Government.kif 2180-2180 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 2236-2240
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsInformation ?INST ?PROP))
    (believes ?PARTY ?PROP))
Government.kif 2272-2279

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


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


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



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