Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - electionForOrganization
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 The number 1 argument of election for organization is an instance of election
(domain electionForOrganization 2 Organization) Government.kif 1820-1820 The number 2 argument of election for organization is an instance of organization
(instance electionForOrganization BinaryPredicate) Government.kif 1818-1818 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 1827-1829

consequent
-------------------------


(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1831-1835


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners