TreeView 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 10601-10603
(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 10599-10599	Election est une sous-classe de processus organisationnel

appearance as argument number 2

(rangeSubclass ElectionFn Election)	Government.kif 1648-1648	Les valeurs retourn�es par ElectionFn sont des sous-classes de Election
(subclass GeneralElection Election)	Government.kif 1668-1668	GeneralElection est une sous-classe de Election
(termFormat ChineseLanguage Election "选举")	domainEnglishFormat.kif 21419-21419	GeneralElection est une sous-classe de Election
(termFormat ChineseTraditionalLanguage Election "選舉")	domainEnglishFormat.kif 21418-21418	GeneralElection est une sous-classe de Election
(termFormat EnglishLanguage Election "election")	domainEnglishFormat.kif 21417-21417	GeneralElection est une sous-classe de Election

appearance as argument number 3

(domain VotingFn 1 Election)	Government.kif 1691-1691	Le nombre 1 argument de VotingFn est une instance de Election
(domain candidateForPosition 1 Election)	Government.kif 1800-1800	Le nombre 1 argument de candidateForPosition est une instance de Election
(domain electionForOrganization 1 Election)	Government.kif 1781-1781	Le nombre 1 argument de electionForOrganization est une instance de Election
(domain electionForPosition 1 Election)	Government.kif 1708-1708	Le nombre 1 argument de electionForPosition est une instance de Election
(domain electionWinner 1 Election)	Government.kif 1834-1834	Le nombre 1 argument de electionWinner est une instance de Election
(domain seatsWonInElection 1 Election)	Government.kif 1865-1865	Le nombre 1 argument de seatsWonInElection est une instance de Election
(domain voteFractionReceived 1 Election)	Government.kif 1819-1819	Le nombre 1 argument de voteFractionReceived est une instance de 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	chiefOfStateType secteur g�opolitique and position Election est un agent de secteur g�opolitique Election est une instance de Election electionForPosition Election and position Election est une instance de PopularElection governmentType secteur g�opolitique and Democracy
(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1654-1660	AutonomousAgent est une instance de AutonomousAgent ElectionFn AutonomousAgent est une sous-classe de Election AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique
(=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AGENT GeopoliticalArea)) (instance ?EVENT PoliticalProcess))	Merge.kif 14131-14136	Processus est une instance de Election processus est un agent de AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique processus est une instance de processus polotique
(=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess))	Merge.kif 14138-14144	Processus est une instance de Election processus est un agent de AutonomousAgent secteur g�opolitique est une instance de secteur g�opolitique AutonomousAgent est une instance de le gouvernment de secteur g�opolitique processus est une instance de processus polotique
(=> (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	ExclusiveMaleSuffrage est une sous-proposition de RegionalLawFn secteur g�opolitique Female est un attribut de objet objet est un membre de ResidentFn secteur g�opolitique Election est une instance de Election objet est capable de faire VotingFn Election dans le r�le agent

consequent

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

Merge.kif 12140-12145

Processus est une instance de Voting
processus processus est une instance de Election processus est un sous-processus de processus

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: