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 1806-1808 | |
(domain candidateForPosition 1 Election) | Government.kif 1802-1802 | |
(domain candidateForPosition 2 SocialRole) | Government.kif 1803-1803 | |
(domain candidateForPosition 3 AutonomousAgent) | Government.kif 1804-1804 | |
(instance candidateForPosition TernaryPredicate) | Government.kif 1801-1801 |
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 1839-1839 | |
(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 1814-1818 | |
(=> (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (electionForPosition ?ELECTION ?POSITION)) |
Government.kif 1810-1812 |
consequent |
(=> (electionForPosition ?ELECTION ?ROLE) (exists (?CANDIDATE) (and (instance ?CANDIDATE Human) (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE)))) |
Government.kif 1717-1722 | |
(=> (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)) |
Government.kif 1831-1833 |