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 | Die Zahl 1 Argument von voteFractionReceived ist ein fall von Election %n{nicht} |
(domain voteFractionReceived 2 SocialRole) | Government.kif 1858-1858 | Die Zahl 2 Argument von voteFractionReceived ist ein fall von SocialRole %n{nicht} |
(domain voteFractionReceived 3 AutonomousAgent) | Government.kif 1859-1859 | Die Zahl 3 Argument von voteFractionReceived ist ein fall von AutonomousAgent %n{nicht} |
(domain voteFractionReceived 4 RealNumber) | Government.kif 1860-1860 | Die Zahl 4 Argument von voteFractionReceived ist ein fall von RealNumber %n{nicht} |
(instance voteFractionReceived QuaternaryPredicate) | Government.kif 1856-1856 | voteFractionReceived ist ein fall von QuaternaryPredicate %n{nicht} |
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 |
|
![]() |
![]() |