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 | Il numero 1 argomenti di voteFractionReceived è un istanza di Election |
(domain voteFractionReceived 2 SocialRole) | Government.kif 1858-1858 | Il numero 2 argomenti di voteFractionReceived è un istanza di RuoloSociale |
(domain voteFractionReceived 3 AutonomousAgent) | Government.kif 1859-1859 | Il numero 3 argomenti di voteFractionReceived è un istanza di AutonomousAgent |
(domain voteFractionReceived 4 RealNumber) | Government.kif 1860-1860 | Il numero 4 argomenti di voteFractionReceived è un istanza di NumeroReale |
(instance voteFractionReceived QuaternaryPredicate) | Government.kif 1856-1856 | voteFractionReceived è un' istanza di PredicatoQuaternario |
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 |
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 |
|