voteFractionReceived |
appearance as argument number 1 |
(documentation voteFractionReceived EnglishLanguage "(voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) means that in the Election ?ELECTION for ?POSITION, the AutonomousAgent ?CONTENDER received ?FRACTION of the votes cast. Contenders may be either persons or political parties.") | Government.kif 1862-1865 | |
(domain voteFractionReceived 1 Election) | Government.kif 1857-1857 | |
(domain voteFractionReceived 2 SocialRole) | Government.kif 1858-1858 | |
(domain voteFractionReceived 3 AutonomousAgent) | Government.kif 1859-1859 | |
(domain voteFractionReceived 4 RealNumber) | Government.kif 1860-1860 | |
(instance voteFractionReceived QuaternaryPredicate) | Government.kif 1856-1856 |
appearance as argument number 2 |
(format ChineseLanguage voteFractionReceived "%1 %n 是 对于 %3 和 %4 的 vote 收到部分 %2 ") | domainEnglishFormat.kif 2603-2603 | |
(format ChineseTraditionalLanguage voteFractionReceived "%1 %n 是 對於 %3 和 %4 的 vote 收到部分 %2 ") | domainEnglishFormat.kif 2602-2602 | |
(format EnglishLanguage voteFractionReceived "%1 is %n vote fraction received %2 for %3 with %4") | domainEnglishFormat.kif 2601-2601 | |
(termFormat ChineseLanguage voteFractionReceived "收到投票分数") | domainEnglishFormat.kif 61965-61965 | |
(termFormat ChineseTraditionalLanguage voteFractionReceived "收到投票分數") | domainEnglishFormat.kif 61964-61964 | |
(termFormat EnglishLanguage voteFractionReceived "vote fraction received") | domainEnglishFormat.kif 61963-61963 |
antecedent |
(=> (and (instance ?ELECTION PopularElection) (electionWinner ?ELECTION ?POSITION ?PERSON1) (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1) (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2) (not (equal ?PERSON1 ?PERSON2))) (greaterThan ?NUMBER1 ?NUMBER2)) |
Government.kif 1893-1900 | |
(=> (and (instance ?ELECTION PopularElection) (electionWinner ?ELECTION ?POSITION ?PERSON1) (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1)) (not (exists (?PERSON2 ?NUMBER2) (and (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2) (not (equal ?PERSON1 ?PERSON2)) (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))))) |
Government.kif 1882-1892 | |
(=> (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)) |
Government.kif 1867-1869 |
consequent |
(=> (and (instance ?ELECTION PopularElection) (electionWinner ?ELECTION ?POSITION ?PERSON1) (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1)) (not (exists (?PERSON2 ?NUMBER2) (and (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2) (not (equal ?PERSON1 ?PERSON2)) (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))))) |
Government.kif 1882-1892 |