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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - electionForPosition
electionForPosition

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


(documentation electionForPosition EnglishLanguage "(electionForPosition ?ELECTION ?POSITION) means that in the Election ?ELECTION, candidates run for election to the role(s) ?POSITION.") Government.kif 1709-1711
(domain electionForPosition 1 Election) Government.kif 1706-1706
(domain electionForPosition 2 SocialRole) Government.kif 1707-1707
(instance electionForPosition BinaryPredicate) Government.kif 1705-1705

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


(format EnglishLanguage electionForPosition "%2 is %n an election for position of %1") domainEnglishFormat.kif 222-222
(termFormat EnglishLanguage electionForPosition "election for position") domainEnglishFormat.kif 3993-3993

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


(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))
Government.kif 1548-1555
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1791-1795
(=>
    (electionForPosition ?ELECTION ?ROLE)
    (exists (?CANDIDATE)
        (and
            (instance ?CANDIDATE Human)
            (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1713-1718

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


(=>
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
    (electionForPosition ?ELECTION ?POSITION))
Government.kif 1806-1808
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))
Government.kif 1787-1789


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