Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| electionWinner |
| appearance as argument number 1 |
|
| (instance electionWinner TernaryPredicate) | Government.kif 1842-1842 | election winner is an instance of ternary predicate |
| (domain electionWinner 1 Election) | Government.kif 1843-1843 | The number 1 argument of election winner is an instance of election |
| (domain electionWinner 2 SocialRole) | Government.kif 1844-1844 | The number 2 argument of election winner is an instance of social role |
| (domain electionWinner 3 AutonomousAgent) | Government.kif 1845-1845 | The number 3 argument of election winner is an instance of agent |
| (subrelation electionWinner candidateForPosition) | Government.kif 1846-1846 | election winner is a subrelation of candidate for position |
| (documentation electionWinner EnglishLanguage "(electionWinner ?ELECTION ?POSITION ?CONTENDER) means that in the Election ?ELECTION, ?POSITION was won by the AutonomousAgent ?CONTENDER. Contenders may be either persons or political parties.") | Government.kif 1848-1851 | election winner is a subrelation of candidate for position |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage electionWinner "%1 %p{is} %n{isn't} election winner %2 for %3") | domainEnglishFormat.kif 854-854 | |
| (format ChineseTraditionalLanguage electionWinner "%1 %p{是} %n{不是} 對於 %3 的 election 贏家 %2 ") | domainEnglishFormat.kif 855-855 | |
| (format ChineseLanguage electionWinner "%1 %p{是} %n{不是} 对于 %3 的 election 赢家 %2 ") | domainEnglishFormat.kif 856-856 | |
| (termFormat EnglishLanguage electionWinner "election winner") | domainEnglishFormat.kif 21438-21438 | |
| (termFormat ChineseTraditionalLanguage electionWinner "選舉勝利者") | domainEnglishFormat.kif 21439-21439 | |
| (termFormat ChineseLanguage electionWinner "选举胜利者") | domainEnglishFormat.kif 21440-21440 |
| antecedent |
|
|
| (=> (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 1853-1863 | If X is an instance of popular election, X is election winner Y for Z, and X is vote fraction received Y for Z with W, then there don't exist V, U such that X is vote fraction received Y for V with U, equal Z, V, and U is greater than or equal to W |
| (=> (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 1864-1871 | If X is an instance of popular election, X is election winner Y for Z, X is vote fraction received Y for Z with W, X is vote fraction received Y for V with U, and equal Z and V, then W is greater than U |
|