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 1842-1844 | |
(domain candidateForPosition 1 Election) | Government.kif 1838-1838 | 职位候选人 的 1 数量 是 选举 的 instance |
(domain candidateForPosition 2 SocialRole) | Government.kif 1839-1839 | 职位候选人 的 2 数量 是 身分 的 instance |
(domain candidateForPosition 3 AutonomousAgent) | Government.kif 1840-1840 | 职位候选人 的 3 数量 是 施事体 的 instance |
(instance candidateForPosition TernaryPredicate) | Government.kif 1837-1837 | 职位候选人 是 三元谓语 的 instance |
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 1875-1875 | 选举胜利者 是 职位候选人 的 subrelation |
(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 1850-1854 | |
(=> (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (electionForPosition ?ELECTION ?POSITION)) |
Government.kif 1846-1848 |
consequent |
(=> (electionForPosition ?ELECTION ?ROLE) (exists (?CANDIDATE) (and (instance ?CANDIDATE Human) (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE)))) |
Government.kif 1753-1758 | |
(=> (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)) |
Government.kif 1867-1869 |