TreeView Knowledge Base Browser - candidateForPosition

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

candidateForPosition

Sigma KEE - candidateForPosition

candidateForPosition

appearance as argument number 1

(documentation candidateForPosition EnglishLanguage "(candidateForPosition ?ELECTION ?POSITION ?CONTENDER) means that in the Election ?ELECTION for ?POSITION, the Agent ?CONTENDER was one of the candidates.")	Government.kif 1796-1798
(domain candidateForPosition 1 Election)	Government.kif 1792-1792	The number 1 argument of candidate for position is an instance of election
(domain candidateForPosition 2 SocialRole)	Government.kif 1793-1793	The number 2 argument of candidate for position is an instance of social role
(domain candidateForPosition 3 Agent)	Government.kif 1794-1794	The number 3 argument of candidate for position is an instance of agent
(instance candidateForPosition TernaryPredicate)	Government.kif 1791-1791	candidate for position is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage candidateForPosition "%1 %n{不是} 对于职位 %2 的 candidate 对于 %3 ")	domainEnglishFormat.kif 344-344
(format ChineseTraditionalLanguage candidateForPosition "%1 %n{不是} 對於職位 %2 的 candidate 對於 %3 ")	domainEnglishFormat.kif 343-343
(format EnglishLanguage candidateForPosition "%1 %n{doesn't} candidate for position %2 for %3")	domainEnglishFormat.kif 342-342
(subrelation electionWinner candidateForPosition)	Government.kif 1829-1829	election winner is a subrelation of candidate for position
(termFormat ChineseLanguage candidateForPosition "职位候选人")	domainEnglishFormat.kif 12883-12883
(termFormat ChineseTraditionalLanguage candidateForPosition "職位候選人")	domainEnglishFormat.kif 12882-12882
(termFormat EnglishLanguage candidateForPosition "candidate for position")	domainEnglishFormat.kif 12881-12881

antecedent

(=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))	Government.kif 1804-1808	If an election candidate for position a social role for a cognitive agent and an agent is an agent of the election, then the cognitive agent desires the cognitive agent holds the position of the social role in the agent
(=> (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (electionForPosition ?ELECTION ?POSITION))	Government.kif 1800-1802	If an election candidate for position a social role for an agent, then the social role is an election for position of the election

consequent

(=> (electionForPosition ?ELECTION ?ROLE) (exists (?CANDIDATE) (and (instance ?CANDIDATE Human) (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))	Government.kif 1707-1712	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
(=> (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) (candidateForPosition ?ELECTION ?POSITION ?CONTENDER))	Government.kif 1821-1823	If an election is vote fraction received a social role for an agent with a real number, then the election candidate for position the social role for the agent

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners