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 1713-1715
(domain electionForPosition 1 Election)	Government.kif 1710-1710	The number 1 argument of election for position is an instance of election
(domain electionForPosition 2 SocialRole)	Government.kif 1711-1711	The number 2 argument of election for position is an instance of social role
(instance electionForPosition BinaryPredicate)	Government.kif 1709-1709	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 21448-21448
(termFormat ChineseTraditionalLanguage electionForPosition "選舉職位")	domainEnglishFormat.kif 21447-21447
(termFormat EnglishLanguage electionForPosition "election for position")	domainEnglishFormat.kif 21446-21446

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 ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP))	Government.kif 1795-1799	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 1717-1722	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 1810-1812	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 1791-1793	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