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 1749-1751
(domain electionForPosition 1 Election) Government.kif 1746-1746 Le nombre 1 argument de electionForPosition est une instance de Election
(domain electionForPosition 2 SocialRole) Government.kif 1747-1747 Le nombre 2 argument de electionForPosition est une instance de r�le social
(instance electionForPosition BinaryPredicate) Government.kif 1745-1745 electionForPosition est une instance de pr�dicat binaire

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

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


(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))		 Government.kif 1588-1595
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))		 Government.kif 1831-1835
(=>
    (electionForPosition ?ELECTION ?ROLE)
    (exists (?CANDIDATE)
        (and
            (instance ?CANDIDATE Human)
            (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))		 Government.kif 1753-1758

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