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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Voting
Voting(voting)
ballot, balloting, block_vote, bullet_vote, cast, casting_vote, co-optation, co-option, multiple_voting, plebiscite, secret_ballot, vote, voting, write-in

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


(documentation Voting ChineseLanguage "Voting 是在 Election 中的表决活动。投票通常由个人所 进行,而 Election 往往由 Organization 所举办。有个别选民所参与的投票过程是 Election 过程的 一部分。") chinese_format.kif 3124-3126
(documentation Voting EnglishLanguage "Voting is the activity of voting in an Election. Voting is typically done by individuals, while Elections are conducted by Organizations. The voting process by an individual voter is part of an Election process.") Merge.kif 11185-11188
(externalImage Voting "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c9/ PollingStation_UK_2005.jpg/ 180px-PollingStation_UK_2005.jpg") pictureList.kif 1287-1287
(subclass Voting Deciding) Merge.kif 11184-11184 Voting is a subclass of deciding

appearance as argument number 2
-------------------------


(rangeSubclass VotingFn Voting) Government.kif 1684-1684 The values returned by voting are subclasses of voting
(termFormat ChineseLanguage Voting "表决") domainEnglishFormat.kif 61870-61870
(termFormat ChineseTraditionalLanguage Voting "表決") domainEnglishFormat.kif 61869-61869
(termFormat EnglishLanguage Voting "voting") domainEnglishFormat.kif 61868-61868

antecedent
-------------------------


(=>
    (instance ?VOTE Voting)
    (exists (?ELECT)
        (and
            (instance ?ELECT Election)
            (subProcess ?VOTE ?ELECT))))
Merge.kif 11190-11195

consequent
-------------------------


(=>
    (instance ?B Ballot)
    (hasPurpose ?B
        (exists (?V)
            (and
                (instance ?V Voting)
                (instrument ?V ?B)))))
Mid-level-ontology.kif 12246-12252
(=>
    (instance ?P VotingPoll)
    (exists (?V)
        (and
            (instance ?V Voting)
            (eventLocated ?V ?P))))
Mid-level-ontology.kif 6461-6466


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners