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 1802-1804
(domain candidateForPosition 1 Election) Government.kif 1798-1798
(domain candidateForPosition 2 SocialRole) Government.kif 1799-1799
(domain candidateForPosition 3 Agent) Government.kif 1800-1800
(instance candidateForPosition TernaryPredicate) Government.kif 1797-1797

appearance as argument number 2
-------------------------


(format EnglishLanguage candidateForPosition "%1 %n{doesn't} candidate for position %2 for %3") domainEnglishFormat.kif 95-95
(subrelation electionWinner candidateForPosition) Government.kif 1835-1835
(termFormat EnglishLanguage candidateForPosition "candidate for position") domainEnglishFormat.kif 2581-2581

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


(=>
    (and
        (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
        (agent ?ELECTION ?AGENT))
    (desires ?CONTENDER
        (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))
Government.kif 1810-1814
(=>
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
    (electionForPosition ?ELECTION ?POSITION))
Government.kif 1806-1808

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


(=>
    (electionForPosition ?ELECTION ?ROLE)
    (exists (?CANDIDATE)
        (and
            (instance ?CANDIDATE Human)
            (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1713-1718
(=>
    (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION)
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER))
Government.kif 1827-1829


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