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 10713-10715
(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 10711-10711	Election is a subclass of organizational process

appearance as argument number 2

(rangeSubclass ElectionFn Election)	Government.kif 1648-1648	The values returned by election are subclasses of election
(subclass GeneralElection Election)	Government.kif 1668-1668	General election is a subclass of election
(termFormat ChineseLanguage Election "选举")	domainEnglishFormat.kif 21416-21416	General election is a subclass of election
(termFormat ChineseTraditionalLanguage Election "選舉")	domainEnglishFormat.kif 21415-21415	General election is a subclass of election
(termFormat EnglishLanguage Election "election")	domainEnglishFormat.kif 21414-21414	General election is a subclass of election

appearance as argument number 3

(domain VotingFn 1 Election)	Government.kif 1691-1691	The number 1 argument of voting is an instance of election
(domain candidateForPosition 1 Election)	Government.kif 1800-1800	The number 1 argument of candidate for position is an instance of election
(domain electionForOrganization 1 Election)	Government.kif 1781-1781	The number 1 argument of election for organization is an instance of election
(domain electionForPosition 1 Election)	Government.kif 1708-1708	The number 1 argument of election for position is an instance of election
(domain electionWinner 1 Election)	Government.kif 1834-1834	The number 1 argument of election winner is an instance of election
(domain seatsWonInElection 1 Election)	Government.kif 1865-1865	The number 1 argument of seats won in election is an instance of election
(domain voteFractionReceived 1 Election)	Government.kif 1819-1819	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 1550-1557	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 1654-1660	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 14247-14252	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 14254-14260	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 1229-1235	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 12252-12257

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: