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 1703-1705
(domain electionForPosition 1 Election) Government.kif 1700-1700 The number 1 argument of election for position is an instance of election
(domain electionForPosition 2 SocialRole) Government.kif 1701-1701 The number 2 argument of election for position is an instance of social role
(instance electionForPosition BinaryPredicate) Government.kif 1699-1699 election for position is an instance of binary predicate

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


(format ChineseLanguage electionForPosition "%2 %n 是 职位 %1 的 election ") domainEnglishFormat.kif 852-852
(format ChineseTraditionalLanguage electionForPosition "%2 %n 是 職位 %1 的 election ") domainEnglishFormat.kif 851-851
(format EnglishLanguage electionForPosition "%2 is %n an election for position of %1") domainEnglishFormat.kif 850-850
(termFormat ChineseLanguage electionForPosition "选举职位") domainEnglishFormat.kif 21355-21355
(termFormat ChineseTraditionalLanguage electionForPosition "選舉職位") domainEnglishFormat.kif 21354-21354
(termFormat EnglishLanguage electionForPosition "election for position") domainEnglishFormat.kif 21353-21353

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


(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))
Government.kif 1542-1549
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1785-1789
(=>
    (electionForPosition ?ELECTION ?ROLE)
    (exists (?CANDIDATE)
        (and
            (instance ?CANDIDATE Human)
            (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1707-1712

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


(=>
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
    (electionForPosition ?ELECTION ?POSITION))
Government.kif 1800-1802
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))
Government.kif 1781-1783


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