Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - candidateForPosition
candidateForPosition

appearance as argument number 1
-------------------------


(instance candidateForPosition TernaryPredicate) Government.kif 1808-1808 candidate for position is an instance of ternary predicate
(domain candidateForPosition 1 Election) Government.kif 1809-1809 The number 1 argument of candidate for position is an instance of election
(domain candidateForPosition 2 SocialRole) Government.kif 1810-1810 The number 2 argument of candidate for position is an instance of social role
(domain candidateForPosition 3 AutonomousAgent) Government.kif 1811-1811 The number 3 argument of candidate for position is an instance of agent
(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 1813-1815 The number 3 argument of candidate for position is an instance of agent

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


(subrelation electionWinner candidateForPosition) Government.kif 1846-1846 election winner is a subrelation of candidate for position
(format EnglishLanguage candidateForPosition "%1 %n{doesn't} candidate for position %2 for %3") domainEnglishFormat.kif 342-342 election winner is a subrelation of candidate for position
(format ChineseTraditionalLanguage candidateForPosition "%1 %n{不是} 對於職位 %2 的 candidate 對於 %3 ") domainEnglishFormat.kif 343-343 election winner is a subrelation of candidate for position
(format ChineseLanguage candidateForPosition "%1 %n{不是} 对于职位 %2 的 candidate 对于 %3 ") domainEnglishFormat.kif 344-344 election winner is a subrelation of candidate for position
(termFormat EnglishLanguage candidateForPosition "candidate for position") domainEnglishFormat.kif 12949-12949 election winner is a subrelation of candidate for position
(termFormat ChineseTraditionalLanguage candidateForPosition "職位候選人") domainEnglishFormat.kif 12950-12950 election winner is a subrelation of candidate for position
(termFormat ChineseLanguage candidateForPosition "职位候选人") domainEnglishFormat.kif 12951-12951 election winner is a subrelation of candidate for position

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


(=>
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
    (electionForPosition ?ELECTION ?POSITION))		 Government.kif 1817-1819 If X candidate for position Y for Z, then Y is an election for position of X
(=>
    (and
        (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
        (agent ?ELECTION ?AGENT))
    (desires ?CONTENDER
        (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))		 Government.kif 1821-1825 If X candidate for position Y for Z and W is an agent of X, then Z desires Z holds the position of Y in W

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


(=>
    (electionForPosition ?ELECTION ?ROLE)
    (exists (?CANDIDATE)
        (and
            (instance ?CANDIDATE Human)
            (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))		 Government.kif 1724-1729 If X is an election for position of Y, then there exists Z such that Z is an instance of human and Y candidate for position X for Z
(=>
    (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION)
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER))		 Government.kif 1838-1840 If X is vote fraction received Y for Z with W, then X candidate for position Y for Z


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners