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
(=>
    (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 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