electionForOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(documentation electionForOrganization EnglishLanguage "(electionForOrganization ?ELECTION ?GROUP) means that in the Election ?ELECTION, candidates run for election to the organization ?GROUP.")	Government.kif 1784-1787
(domain electionForOrganization 1 Election)	Government.kif 1781-1781	The number 1 argument of election for organization is an instance of election
(domain electionForOrganization 2 Organization)	Government.kif 1782-1782	The number 2 argument of election for organization is an instance of organization
(instance electionForOrganization BinaryPredicate)	Government.kif 1780-1780	election for organization is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage electionForOrganization "%2 %n 是组织 %1 的 election ")	domainEnglishFormat.kif 848-848
(format ChineseTraditionalLanguage electionForOrganization "%2 %n 是組織 %1 的 election ")	domainEnglishFormat.kif 847-847
(format EnglishLanguage electionForOrganization "%2 is %n an election for organization of %1")	domainEnglishFormat.kif 846-846
(termFormat ChineseLanguage electionForOrganization "选举组织")	domainEnglishFormat.kif 21437-21437
(termFormat ChineseTraditionalLanguage electionForOrganization "選舉組織")	domainEnglishFormat.kif 21436-21436
(termFormat EnglishLanguage electionForOrganization "election for organization")	domainEnglishFormat.kif 21435-21435

antecedent

(=>
    (electionForOrganization ?ELECTION ?GROUP)
    (electionForPosition ?ELECTION
        (MemberFn ?GROUP)))

Government.kif 1789-1791

consequent

(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))

Government.kif 1793-1797