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 | O argumento numero 1 de voteFractionReceived e' uma instancia de Election |
(domain voteFractionReceived 2 SocialRole) | Government.kif 1858-1858 | O argumento numero 2 de voteFractionReceived e' uma instancia de Role Social |
(domain voteFractionReceived 3 AutonomousAgent) | Government.kif 1859-1859 | O argumento numero 3 de voteFractionReceived e' uma instancia de AutonomousAgent |
(domain voteFractionReceived 4 RealNumber) | Government.kif 1860-1860 | O argumento numero 4 de voteFractionReceived e' uma instancia de Numero Real |
(instance voteFractionReceived QuaternaryPredicate) | Government.kif 1856-1856 | voteFractionReceived e' uma instancia de Predicado Quaternario |
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 |
|