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 AutonomousAgent ?CONTENDER was one of the candidates.")	Government.kif 1842-1844
(domain candidateForPosition 1 Election)	Government.kif 1838-1838	域職位候選人, 1 and 選舉
(domain candidateForPosition 2 SocialRole)	Government.kif 1839-1839	域職位候選人, 2 and SocialRole
(domain candidateForPosition 3 AutonomousAgent)	Government.kif 1840-1840	域職位候選人, 3 and AutonomousAgent
(instance candidateForPosition TernaryPredicate)	Government.kif 1837-1837	例職位候選人 and TernaryPredicate

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 1875-1875	子關係選舉勝利者 and 職位候選人
(termFormat ChineseLanguage candidateForPosition "职位候选人")	domainEnglishFormat.kif 12943-12943
(termFormat ChineseTraditionalLanguage candidateForPosition "職位候選人")	domainEnglishFormat.kif 12942-12942
(termFormat EnglishLanguage candidateForPosition "candidate for position")	domainEnglishFormat.kif 12941-12941

antecedent

(=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))	Government.kif 1850-1854	選舉對於職位 SocialRole 的 candidate 對於 CognitiveAgent agent 選舉 and AutonomousAgent 慾望 CognitiveAgent and 佔據位置 CognitiveAgent, SocialRole and AutonomousAgent
(=> (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (electionForPosition ?ELECTION ?POSITION))	Government.kif 1846-1848	選舉對於職位 SocialRole 的 candidate 對於 AutonomousAgent SocialRole 是職位選舉的 election

consequent

(=> (electionForPosition ?ELECTION ?ROLE) (exists (?CANDIDATE) (and (instance ?CANDIDATE Human) (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))	Government.kif 1753-1758	SocialRole 是職位選舉的 election AutonomousAgent 例 AutonomousAgent and Human 選舉對於職位 SocialRole 的 candidate 對於 AutonomousAgent
(=> (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) (candidateForPosition ?ELECTION ?POSITION ?CONTENDER))	Government.kif 1867-1869	選舉是對於 AutonomousAgent 和 RealNumber 的 vote 收到部分 SocialRole 選舉對於職位 SocialRole 的 candidate 對於 AutonomousAgent

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