Election - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Election ChineseLanguage "Election 属于由一个机构所举行事件的类别，其中有资格参加者对 Organization 的事务员投票、通过决议或解决其他的问题。")	Merge.kif 10597-10598
(documentation Election EnglishLanguage "Election is the class of events conducted by an organization, in which qualified participants vote for officers, adopt resolutions, or settle other issues in that Organization.")	Merge.kif 10594-10596
(externalImage Election "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ ElezioneBrunate.jpg")	pictureList.kif 5981-5981	externalImage Election and "http://upload.wikimedia.org/wikipedia/commons/6/6b/ ElezioneBrunate.jpg"
(externalImage Election "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ ElezioneMilano.jpg")	pictureList.kif 6452-6452	externalImage Election and "http://upload.wikimedia.org/wikipedia/commons/7/73/ ElezioneMilano.jpg"
(externalImage Election "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Hustings20050204_CopyrightKaihsuTai.jpg")	pictureList.kif 6453-6453	externalImage Election and "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Hustings20050204_CopyrightKaihsuTai.jpg"
(externalImage Election "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Election_MG_3455.JPG")	pictureList.kif 6454-6454	externalImage Election and "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Election_MG_3455.JPG"
(subclass Election OrganizationalProcess)	Merge.kif 10593-10593	Election 是机构性过程的 subclass

appearance as argument number 2

(rangeSubclass ElectionFn Election)	Government.kif 1646-1646	ElectionFn 的所得值是 Election 的 subclass
(subclass GeneralElection Election)	Government.kif 1666-1666	GeneralElection 是 Election 的 subclass
(termFormat EnglishLanguage Election "election")	domainEnglishFormat.kif 3989-3989	termFormat EnglishLanguage, Election and "election"

appearance as argument number 3

(domain VotingFn 1 Election)	Government.kif 1689-1689	VotingFn 的 1 数量是 Election 的 instance
(domain candidateForPosition 1 Election)	Government.kif 1798-1798	candidateForPosition 的 1 数量是 Election 的 instance
(domain electionForOrganization 1 Election)	Government.kif 1779-1779	electionForOrganization 的 1 数量是 Election 的 instance
(domain electionForPosition 1 Election)	Government.kif 1706-1706	electionForPosition 的 1 数量是 Election 的 instance
(domain electionWinner 1 Election)	Government.kif 1832-1832	electionWinner 的 1 数量是 Election 的 instance
(domain seatsWonInElection 1 Election)	Government.kif 1863-1863	seatsWonInElection 的 1 数量是 Election 的 instance
(domain voteFractionReceived 1 Election)	Government.kif 1817-1817	voteFractionReceived 的 1 数量是 Election 的 instance

antecedent

(=> (and (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy))	Government.kif 1548-1555	如果 chiefOfStateType 地缘政治区域 and 地位和那个地缘政治区域是 Election 的 agent 和那个 Election 是 Election 的 instance 和 electionForPosition 那个 Election and 那个地位和那个 Election 是 PopularElection 的 instance，然后 governmentType 那个地缘政治区域 and Democracy
(=> (and (instance ?AGENT Agent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1652-1658	如果施事体是施事体的 instance 和 ElectionFn 那个施事体是 Election 的 subclass，然后那个施事体是机构的 instance 或那个施事体是地缘政治区域的 instance
(=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AGENT GeopoliticalArea)) (instance ?EVENT PoliticalProcess))	Merge.kif 14077-14082	如果过程是 Election 的 instance 和施事体是那个过程的 agent 和那个施事体是地缘政治区域的 instance，然后那个过程是政治过程的 instance
(=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess))	Merge.kif 14084-14090	如果过程是 Election 的 instance 和施事体是那个过程的 agent 和地缘政治区域是地缘政治区域的 instance 和那个施事体是那个地缘政治区域的 Government 的 instance，然后那个过程是政治过程的 instance
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (attribute ?AGENT Female) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1228-1233	如果 ExclusiveMaleSuffrage 是 RegionalLawFn 地缘政治区域的 subProposition 和 Female 是客体的 attribute 和 Election 是 Election 的 instance，然后那个客体不能够担当主事的角色做 VotingFn 那个 Election

consequent

(=>
    (instance ?VOTE Voting)
    (exists (?ELECT)
        (and
            (instance ?ELECT Election)
            (subProcess ?VOTE ?ELECT))))

Merge.kif 11995-12000

如果过程是 Voting 的 instance，
然后有存在另一个过程这样那个另外过程是 Election 的 instance 和那个过程%n是那个另外过程的subProcess

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

KB Term:			Term intersection

English Word: