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 | |
(domain electionForOrganization 2 Organization) | Government.kif 1820-1820 | |
(instance electionForOrganization BinaryPredicate) | Government.kif 1818-1818 |
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 |