electionWinner - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - electionWinner

electionWinner

appearance as argument number 1

(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 1841-1844
(domain electionWinner 1 Election)	Government.kif 1836-1836	The number 1 argument of election winner is an instance of election
(domain electionWinner 2 SocialRole)	Government.kif 1837-1837	The number 2 argument of election winner is an instance of social role
(domain electionWinner 3 AutonomousAgent)	Government.kif 1838-1838	The number 3 argument of election winner is an instance of agent
(instance electionWinner TernaryPredicate)	Government.kif 1835-1835	election winner is an instance of ternary predicate
(subrelation electionWinner candidateForPosition)	Government.kif 1839-1839	election winner is a subrelation of candidate for position

appearance as argument number 2

(format ChineseLanguage electionWinner "%1 %p{是} %n{不是} 对于 %3 的 election 赢家 %2 ")	domainEnglishFormat.kif 856-856
(format ChineseTraditionalLanguage electionWinner "%1 %p{是} %n{不是} 對於 %3 的 election 贏家 %2 ")	domainEnglishFormat.kif 855-855
(format EnglishLanguage electionWinner "%1 %p{is} %n{isn't} election winner %2 for %3")	domainEnglishFormat.kif 854-854
(termFormat ChineseLanguage electionWinner "选举胜利者")	domainEnglishFormat.kif 21438-21438
(termFormat ChineseTraditionalLanguage electionWinner "選舉勝利者")	domainEnglishFormat.kif 21437-21437
(termFormat EnglishLanguage electionWinner "election winner")	domainEnglishFormat.kif 21436-21436

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 1857-1864	If an election is an instance of popular election and the election is election winner a social role for an agent and the election is vote fraction received the social role for the agent with a real number and the election is vote fraction received the social role for another agent with another real number and the agent is not equal to the other agent, then the real number is greater than the other real number
(=> (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 1846-1856	If an election is an instance of popular election and the election is election winner a social role for an agent and the election is vote fraction received the social role for the agent with a real number, then there don't exist another agent and another real number such that the election is vote fraction received the social role for the other agent with the other real number and the agent is not equal to the other agent and the other real number is greater than or equal to the real number

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