electionForOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(instance electionForOrganization BinaryPredicate)	Government.kif 1789-1789	election for organization is an instance of binary predicate
(domain electionForOrganization 1 Election)	Government.kif 1790-1790	The number 1 argument of election for organization is an instance of election
(domain electionForOrganization 2 Organization)	Government.kif 1791-1791	The number 2 argument of election for organization is an instance of organization
(documentation electionForOrganization EnglishLanguage "(electionForOrganization ?ELECTION ?GROUP) means that in the Election ?ELECTION, candidates run for election to the organization ?GROUP.")	Government.kif 1793-1796	The number 2 argument of election for organization is an instance of organization

appearance as argument number 2

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

antecedent

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

If X is an election for organization of Y, then the member of X is an election for position of Y

consequent

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

If X is an instance of organization and the member of X is an election for position of Y, then X is an election for organization of Y