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 2212-2213
(externalImage PoliticalParty "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ ElezioneBrunate.jpg") pictureList.kif 6780-6780 externalImage PoliticalParty and "http://upload.wikimedia.org/wikipedia/commons/6/6b/ ElezioneBrunate.jpg"
(subclass PoliticalParty PoliticalOrganization) Government.kif 2210-2210 PoliticalParty政治組織subclass では %n

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


(instance DemocraticPartyUS PoliticalParty) Government.kif 4802-4802 DemocraticPartyUSPoliticalPartyinstance では %n
(instance NaziParty PoliticalParty) Government.kif 2230-2230 NaziPartyPoliticalPartyinstance では %n
(instance RepublicanPartyUS PoliticalParty) Government.kif 4807-4807 RepublicanPartyUSPoliticalPartyinstance では %n
(subclass CommunistParty PoliticalParty) Government.kif 2220-2220 CommunistPartyPoliticalPartysubclass では %n
(subclass PoliticalCoalition PoliticalParty) Government.kif 2204-2204 PoliticalCoalitionPoliticalPartysubclass では %n
(termFormat ChineseLanguage PoliticalParty "政治党派") domainEnglishFormat.kif 46447-46447 termFormat ChineseLanguage, PoliticalParty and "政治党派"
(termFormat ChineseTraditionalLanguage PoliticalParty "政治黨派") domainEnglishFormat.kif 46446-46446 termFormat ChineseTraditionalLanguage, PoliticalParty and "政治黨派"
(termFormat EnglishLanguage PoliticalParty "political party") domainEnglishFormat.kif 46445-46445 termFormat EnglishLanguage, PoliticalParty and "political party"

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


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

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