Election - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Election ChineseLanguage "Election 属于由一个机构所举行事件的类别，其中有资格参加者对 Organization 的事务员投票、通过决议或解决其他的问题。")	chinese_format.kif 2943-2944
(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 10587-10589
(documentation Election JapaneseLanguage "Election は、資格のある参加者が役員に投票したり、決議を採択したり、その %Organization の他の問題を解決したりする組織によって実施されるイベントのクラスである。")	japanese_format.kif 1697-1699
(externalImage Election "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ ElezioneBrunate.jpg")	pictureList.kif 5979-5979
(externalImage Election "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ ElezioneMilano.jpg")	pictureList.kif 6450-6450
(externalImage Election "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Hustings20050204_CopyrightKaihsuTai.jpg")	pictureList.kif 6451-6451
(externalImage Election "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Election_MG_3455.JPG")	pictureList.kif 6452-6452
(subclass Election OrganizationalProcess)	Merge.kif 10585-10585	Election is a subclass of organizational process

appearance as argument number 2

(rangeSubclass ElectionFn Election)	Government.kif 1650-1650	The values returned by election are subclasses of election
(subclass GeneralElection Election)	Government.kif 1670-1670	General election is a subclass of election
(termFormat ChineseLanguage Election "选举")	domainEnglishFormat.kif 21419-21419	General election is a subclass of election
(termFormat ChineseTraditionalLanguage Election "選舉")	domainEnglishFormat.kif 21418-21418	General election is a subclass of election
(termFormat EnglishLanguage Election "election")	domainEnglishFormat.kif 21417-21417	General election is a subclass of election

appearance as argument number 3

(domain VotingFn 1 Election)	Government.kif 1693-1693	The number 1 argument of voting is an instance of election
(domain candidateForPosition 1 Election)	Government.kif 1802-1802	The number 1 argument of candidate for position is an instance of election
(domain electionForOrganization 1 Election)	Government.kif 1783-1783	The number 1 argument of election for organization is an instance of election
(domain electionForPosition 1 Election)	Government.kif 1710-1710	The number 1 argument of election for position is an instance of election
(domain electionWinner 1 Election)	Government.kif 1836-1836	The number 1 argument of election winner is an instance of election
(domain seatsWonInElection 1 Election)	Government.kif 1867-1867	The number 1 argument of seats won in election is an instance of election
(domain voteFractionReceived 1 Election)	Government.kif 1821-1821	The number 1 argument of vote fraction received is an instance of election

antecedent

(=> (and (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy))	Government.kif 1552-1559	If a position is a chief of state type of a geopolitical area and the geopolitical area is an agent of an election and the election is an instance of election and the position is an election for position of the election and the election is an instance of popular election, then democracy is a government type of the geopolitical area
(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1656-1662	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AGENT GeopoliticalArea)) (instance ?EVENT PoliticalProcess))	Merge.kif 14118-14123	If a process is an instance of election and an agent is an agent of the process and the agent is an instance of geopolitical area, then the process is an instance of political process
(=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess))	Merge.kif 14125-14131	If a process is an instance of election and an agent is an agent of the process and a geopolitical area is an instance of geopolitical area and the agent is an instance of the government of the geopolitical area, then the process is an instance of political process
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1231-1237	If exclusive male suffrage is a sub-proposition of the regional law of a geopolitical area and female is an attribute of an object and the object is a member of the resident of the geopolitical area and an election is an instance of election, then the object is not capable of doing the voting of the election as a agent

consequent

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

Merge.kif 12126-12131

If a process is an instance of voting,
then there exists another process such that the other process is an instance of election and the process is a subprocess of the other process

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

KB Term:			Term intersection

English Word: