electionForPosition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - electionForPosition

electionForPosition

appearance as argument number 1

(documentation electionForPosition EnglishLanguage "(electionForPosition ?ELECTION ?POSITION) means that in the Election ?ELECTION, candidates run for election to the role(s) ?POSITION.")	Government.kif 1711-1713
(domain electionForPosition 1 Election)	Government.kif 1708-1708	The number 1 argument of election for position is an instance of election
(domain electionForPosition 2 SocialRole)	Government.kif 1709-1709	The number 2 argument of election for position is an instance of social role
(instance electionForPosition BinaryPredicate)	Government.kif 1707-1707	election for position is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage electionForPosition "%2 %n 是职位 %1 的 election ")	domainEnglishFormat.kif 852-852
(format ChineseTraditionalLanguage electionForPosition "%2 %n 是職位 %1 的 election ")	domainEnglishFormat.kif 851-851
(format EnglishLanguage electionForPosition "%2 is %n an election for position of %1")	domainEnglishFormat.kif 850-850
(termFormat ChineseLanguage electionForPosition "选举职位")	domainEnglishFormat.kif 21443-21443
(termFormat ChineseTraditionalLanguage electionForPosition "選舉職位")	domainEnglishFormat.kif 21442-21442
(termFormat EnglishLanguage electionForPosition "election for position")	domainEnglishFormat.kif 21441-21441

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 ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP))	Government.kif 1793-1797	If an organization is an instance of organization and the member of the organization is an election for position of an election, then the organization is an election for organization of the election
(=> (electionForPosition ?ELECTION ?ROLE) (exists (?CANDIDATE) (and (instance ?CANDIDATE Human) (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))	Government.kif 1715-1720	If a social role is an election for position of an election, then there exists an agent such that the agent is an instance of human and the election candidate for position the social role for the agent

consequent

(=> (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (electionForPosition ?ELECTION ?POSITION))	Government.kif 1808-1810	If an election candidate for position a social role for an agent, then the social role is an election for position of the election
(=> (electionForOrganization ?ELECTION ?GROUP) (electionForPosition ?ELECTION (MemberFn ?GROUP)))	Government.kif 1789-1791	If an organization is an election for organization of an election, then the member of the organization is an election for position of the election

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