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 | voteFractionReceived の数値 1 引数は Election の instance では %n |
(domain voteFractionReceived 2 SocialRole) | Government.kif 1858-1858 | voteFractionReceived の数値 2 引数は 社会的役割 の instance では %n |
(domain voteFractionReceived 3 AutonomousAgent) | Government.kif 1859-1859 | voteFractionReceived の数値 3 引数は AutonomousAgent の instance では %n |
(domain voteFractionReceived 4 RealNumber) | Government.kif 1860-1860 | voteFractionReceived の数値 4 引数は 実数 の instance では %n |
(instance voteFractionReceived QuaternaryPredicate) | Government.kif 1856-1856 | voteFractionReceived は 4進述語 の instance では %n |
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 |
|