TreeView Knowledge Base Browser - electionForOrganization

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 1822-1825
(domain electionForOrganization 1 Election)	Government.kif 1819-1819	Il numero 1 argomenti di electionForOrganization è un istanza di Election
(domain electionForOrganization 2 Organization)	Government.kif 1820-1820	Il numero 2 argomenti di electionForOrganization è un istanza di Organizzazione
(instance electionForOrganization BinaryPredicate)	Government.kif 1818-1818	electionForOrganization è un' istanza di PredicatoBinario

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 1827-1829

consequent

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

Government.kif 1831-1835