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 1786-1789
(domain electionForOrganization 1 Election)	Government.kif 1783-1783	Die Zahl 1 Argument von electionForOrganization ist ein fall von Election %n{nicht}
(domain electionForOrganization 2 Organization)	Government.kif 1784-1784	Die Zahl 2 Argument von electionForOrganization ist ein fall von Organization %n{nicht}
(instance electionForOrganization BinaryPredicate)	Government.kif 1782-1782	electionForOrganization ist ein fall von BinaryPredicate %n{nicht}

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 21426-21426
(termFormat ChineseTraditionalLanguage electionForOrganization "選舉組織")	domainEnglishFormat.kif 21425-21425
(termFormat EnglishLanguage electionForOrganization "election for organization")	domainEnglishFormat.kif 21424-21424

antecedent

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

Government.kif 1791-1793

consequent

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

Government.kif 1795-1799