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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalParty
PoliticalParty

appearance as argument number 1
-------------------------


(documentation PoliticalParty EnglishLanguage "PoliticalParty is the class of PoliticalOrganizations that may sponsor candidates for Elections.") Government.kif 2213-2214
(externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg") pictureList.kif 6778-6778
(subclass PoliticalParty PoliticalOrganization) Government.kif 2211-2211 PoliticalParty政治組織subclass では

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


(instance DemocraticPartyUS PoliticalParty) Government.kif 4827-4827 DemocraticPartyUSPoliticalPartyinstance では
(instance NaziParty PoliticalParty) Government.kif 2237-2237 NaziPartyPoliticalPartyinstance では
(instance RepublicanPartyUS PoliticalParty) Government.kif 4832-4832 RepublicanPartyUSPoliticalPartyinstance では
(subclass CommunistParty PoliticalParty) Government.kif 2221-2221 CommunistPartyPoliticalPartysubclass では
(subclass PoliticalCoalition PoliticalParty) Government.kif 2205-2205 PoliticalCoalitionPoliticalPartysubclass では
(termFormat ChineseLanguage PoliticalParty "政治党派") domainEnglishFormat.kif 46509-46509 PoliticalCoalitionPoliticalPartysubclass では
(termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派") domainEnglishFormat.kif 46508-46508 PoliticalCoalitionPoliticalPartysubclass では
(termFormat EnglishLanguage PoliticalParty "political party") domainEnglishFormat.kif 46507-46507 PoliticalCoalitionPoliticalPartysubclass では

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


(domain politicalPartyOfCountry 1 PoliticalParty) Government.kif 2187-2187 politicalPartyOfCountry の数値 1 引数は PoliticalPartyinstance では

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


(=>
    (and
        (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION)
        (instance ?ORGANIZATION PoliticalParty))
    (member ?PERSON ?ORGANIZATION))
Government.kif 2256-2260
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsFormula ?INST ?P))
    (believes ?PARTY ?P))
Government.kif 2292-2299

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


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


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 3.0 is open source software produced by Articulate Software and its partners