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

Formal Language: 



KB Term:  Term intersection
English Word: 

  electionForPosition

 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 1746-1748
(domain electionForPosition 1 Election) Government.kif 1743-1743
(domain electionForPosition 2 SocialRole) Government.kif 1744-1744
(instance electionForPosition BinaryPredicate) Government.kif 1742-1742

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 21423-21423
(termFormat ChineseTraditionalLanguage electionForPosition "選舉職位") domainEnglishFormat.kif 21422-21422
(termFormat EnglishLanguage electionForPosition "election for position") domainEnglishFormat.kif 21421-21421

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


(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))		 Government.kif 1585-1592
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))		 Government.kif 1828-1832
(=>
    (electionForPosition ?ELECTION ?ROLE)
    (exists (?CANDIDATE)
        (and
            (instance ?CANDIDATE Human)
            (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))		 Government.kif 1750-1755

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


(=>
    (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
    (electionForPosition ?ELECTION ?POSITION))		 Government.kif 1843-1845
(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))		 Government.kif 1824-1826


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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