| 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 1824-1827 | |
| (domain voteFractionReceived 1 Election) | Government.kif 1819-1819 | |
| (domain voteFractionReceived 2 SocialRole) | Government.kif 1820-1820 | |
| (domain voteFractionReceived 3 AutonomousAgent) | Government.kif 1821-1821 | |
| (domain voteFractionReceived 4 RealNumber) | Government.kif 1822-1822 | |
| (instance voteFractionReceived QuaternaryPredicate) | Government.kif 1818-1818 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage voteFractionReceived "%1 %n 是 对于 %3 和 %4 的 vote 收到部分 %2 ") | domainEnglishFormat.kif 2595-2595 | |
| (format ChineseTraditionalLanguage voteFractionReceived "%1 %n 是 對於 %3 和 %4 的 vote 收到部分 %2 ") | domainEnglishFormat.kif 2594-2594 | |
| (format EnglishLanguage voteFractionReceived "%1 is %n vote fraction received %2 for %3 with %4") | domainEnglishFormat.kif 2593-2593 | |
| (termFormat ChineseLanguage voteFractionReceived "收到投票分数") | domainEnglishFormat.kif 61990-61990 | |
| (termFormat ChineseTraditionalLanguage voteFractionReceived "收到投票分數") | domainEnglishFormat.kif 61989-61989 | |
| (termFormat EnglishLanguage voteFractionReceived "vote fraction received") | domainEnglishFormat.kif 61988-61988 |
| 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 1855-1862 | |
| (=> (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 1844-1854 | |
| (=> (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)) |
Government.kif 1829-1831 |
| 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 1844-1854 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners