Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12889-12889 "职位候选人" is the printable form of candidate for position in ChineseLanguage
(termFormat ChineseTraditionalLanguage candidateForPosition "職位候選人") domainEnglishFormat.kif 12888-12888 "職位候選人" is the printable form of candidate for position in ChineseTraditionalLanguage
(termFormat EnglishLanguage candidateForPosition "candidate for position") domainEnglishFormat.kif 12887-12887 "candidate for position" is the printable form of candidate for position in english language

antecedent
-------------------------


(=>
    (and
        (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
        (agent ?ELECTION ?AGENT))
    (desires ?CONTENDER
        (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))
Government.kif 1804-1808
(=>
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
    (electionForPosition ?ELECTION ?POSITION))
Government.kif 1800-1802

consequent
-------------------------


(=>
    (electionForPosition ?ELECTION ?ROLE)
    (exists (?CANDIDATE)
        (and
            (instance ?CANDIDATE Human)
            (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1707-1712
(=>
    (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION)
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER))
Government.kif 1821-1823


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