TreeView Knowledge Base Browser - candidateForPosition

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

LaGabarraVenezuela

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 AutonomousAgent ?CONTENDER was one of the candidates.")	Government.kif 1804-1806
(domain candidateForPosition 1 Election)	Government.kif 1800-1800	The number 1 argument of candidate for position is an instance of election
(domain candidateForPosition 2 SocialRole)	Government.kif 1801-1801	The number 2 argument of candidate for position is an instance of social role
(domain candidateForPosition 3 AutonomousAgent)	Government.kif 1802-1802	The number 3 argument of candidate for position is an instance of agent
(instance candidateForPosition TernaryPredicate)	Government.kif 1799-1799	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 1837-1837	election winner is a subrelation of candidate for position
(termFormat ChineseLanguage candidateForPosition "职位候选人")	domainEnglishFormat.kif 12952-12952	election winner is a subrelation of candidate for position
(termFormat ChineseTraditionalLanguage candidateForPosition "職位候選人")	domainEnglishFormat.kif 12951-12951	election winner is a subrelation of candidate for position
(termFormat EnglishLanguage candidateForPosition "candidate for position")	domainEnglishFormat.kif 12950-12950	election winner is a subrelation of candidate for position

antecedent

(=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))	Government.kif 1812-1816	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 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

consequent

(=> (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
(=> (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) (candidateForPosition ?ELECTION ?POSITION ?CONTENDER))	Government.kif 1829-1831	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 3.0 is open source software produced by Articulate Software and its partners