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 1786-1789 | |
(domain electionForOrganization 1 Election) | Government.kif 1783-1783 | The number 1 argument of election for organization is an instance of election |
(domain electionForOrganization 2 Organization) | Government.kif 1784-1784 | The number 2 argument of election for organization is an instance of organization |
(instance electionForOrganization BinaryPredicate) | Government.kif 1782-1782 | 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 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 |
|