Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| electionForPosition |
| appearance as argument number 1 |
|
| (instance electionForPosition BinaryPredicate) | Government.kif 1716-1716 | election for position is an instance of binary predicate |
| (domain electionForPosition 1 Election) | Government.kif 1717-1717 | The number 1 argument of election for position is an instance of election |
| (domain electionForPosition 2 SocialRole) | Government.kif 1718-1718 | The number 2 argument of election for position is an instance of social role |
| (documentation electionForPosition EnglishLanguage "(electionForPosition ?ELECTION ?POSITION) means that in the Election ?ELECTION, candidates run for election to the role(s) ?POSITION.") | Government.kif 1720-1722 | The number 2 argument of election for position is an instance of social role |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage electionForPosition "%2 is %n an election for position of %1") | domainEnglishFormat.kif 850-850 | |
| (format ChineseTraditionalLanguage electionForPosition "%2 %n 是 職位 %1 的 election ") | domainEnglishFormat.kif 851-851 | |
| (format ChineseLanguage electionForPosition "%2 %n 是 职位 %1 的 election ") | domainEnglishFormat.kif 852-852 | |
| (termFormat EnglishLanguage electionForPosition "election for position") | domainEnglishFormat.kif 21432-21432 | |
| (termFormat ChineseTraditionalLanguage electionForPosition "選舉職位") | domainEnglishFormat.kif 21433-21433 | |
| (termFormat ChineseLanguage electionForPosition "选举职位") | domainEnglishFormat.kif 21434-21434 |
| antecedent |
|
|
| (=> (and (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy)) |
Government.kif 1559-1566 | If X is a chief of state type of Y, Y is an agent of Z, Z is an instance of election, X is an election for position of Z, and Z is an instance of popular election, then democracy is a government type of Y |
| (=> (electionForPosition ?ELECTION ?ROLE) (exists (?CANDIDATE) (and (instance ?CANDIDATE Human) (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE)))) |
Government.kif 1724-1729 | If X is an election for position of Y, then there exists Z such that Z is an instance of human and Y candidate for position X for Z |
| (=> (and (instance ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP)) |
Government.kif 1802-1806 | If X is an instance of organization and the member of X is an election for position of Y, then X is an election for organization of Y |
| consequent |
|
|
| (=> (electionForOrganization ?ELECTION ?GROUP) (electionForPosition ?ELECTION (MemberFn ?GROUP))) |
Government.kif 1798-1800 | If X is an election for organization of Y, then the member of X is an election for position of Y |
| (=> (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (electionForPosition ?ELECTION ?POSITION)) |
Government.kif 1817-1819 | If X candidate for position Y for Z, then Y is an election for position of X |
|