Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - voteFractionReceived
voteFractionReceived

appearance as argument number 1
-------------------------


(documentation voteFractionReceived EnglishLanguage "(voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) means that in the Election ?ELECTION for ?POSITION, the Agent ?CONTENDER received ?FRACTION of the votes cast. Contenders may be either persons or political parties.") Government.kif 1848-1851
(domain voteFractionReceived 1 Election) Government.kif 1843-1843
(domain voteFractionReceived 2 SocialRole) Government.kif 1844-1844
(domain voteFractionReceived 3 Agent) Government.kif 1845-1845
(domain voteFractionReceived 4 RealNumber) Government.kif 1846-1846
(instance voteFractionReceived QuaternaryPredicate) Government.kif 1842-1842

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 61932-61932
(termFormat ChineseTraditionalLanguage voteFractionReceived "收到投票分數") domainEnglishFormat.kif 61931-61931
(termFormat EnglishLanguage voteFractionReceived "vote fraction received") domainEnglishFormat.kif 61930-61930

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 1879-1886
(=>
    (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 1868-1878
(=>
    (voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION)
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER))
Government.kif 1853-1855

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 1868-1878


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