| appearance as argument number 1 |
|
| (documentation ElectionFn EnglishLanguage "(ElectionFn ?ORG) denotes the class of Elections conducted by the GeopoliticalArea or Organization ?ORG, in which offices or issues pertaining to ?ORG are voted upon.") | Government.kif 1642-1644 | |
| (domain ElectionFn 1 Agent) | Government.kif 1639-1639 | 选举 的 1 数量 是 施事体 的 instance |
| (instance ElectionFn UnaryFunction) | Government.kif 1638-1638 | 选举 是 一元函数 的 instance |
| (rangeSubclass ElectionFn Election) | Government.kif 1640-1640 | 选举 的所得值 是 选举 的 subclass |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage ElectionFn "%1 的 election ") | domainEnglishFormat.kif 844-844 | |
| (format ChineseTraditionalLanguage ElectionFn "%1 的 election ") | domainEnglishFormat.kif 843-843 | |
| (format EnglishLanguage ElectionFn "the election of %1") | domainEnglishFormat.kif 842-842 | |
| (termFormat ChineseLanguage ElectionFn "选举") | domainEnglishFormat.kif 21352-21352 | |
| (termFormat ChineseTraditionalLanguage ElectionFn "選舉") | domainEnglishFormat.kif 21351-21351 | |
| (termFormat EnglishLanguage ElectionFn "election") | domainEnglishFormat.kif 21350-21350 |
| antecedent |
|
|
| (=> (and (instance ?AGENT Agent) (instance ?ELECTION (ElectionFn ?AGENT))) (agent ?ELECTION ?AGENT)) |
Government.kif 1654-1658 | |
| (=> (and (instance ?AGENT Agent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1646-1652 | |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE)) (lessThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 1047-1054 | |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY ?VOTINGAGE)) (exists (?AGE) (and (age ?AGENT ?AGE) (lessThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 1036-1045 | |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 983-990 | |
| (=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY ?VOTINGAGE)) (exists (?AGE) (and (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 972-981 | |
| (=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT)))) |
Government.kif 1136-1147 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1204-1210 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1212-1219 | |
| (=> (and (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT)) |
Government.kif 1086-1094 | |
| (=> (and (suffrageAgeMaximum ?POLITY ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT ?AGE)) (lessThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 1028-1034 | |
| (=> (and (suffrageAgeMaximum ?POLITY ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT ?AGE) (lessThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 1018-1026 | |
| (=> (and (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT ?AGE)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 964-970 | |
| (=> (and (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 954-962 |
| consequent |
|
|
| (=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT)) |
Government.kif 1096-1114 | |
| (=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY)) (confersObligation (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT)) |
Government.kif 1167-1185 | |
| (=> (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (confersObligation (forall (?AGENT ?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?POLITY)) |
Government.kif 1149-1165 | |
| (=> (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT)))) |
Government.kif 1074-1084 |
| statement |
|
|
| (containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1195-1202 | 对所有 ?AGENT， ?VOTER,， ， ?ELECTION， and 和 ?VOTING
|
| (containsInformation (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER) (=> (and (instance ?COUNTRY Nation) (instance ?ELECTION (ElectionFn ?COUNTRY)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement) |
Government.kif 909-917 | 对所有 ?COUNTRY， ?ELECTION,， ， ?VOTING， and 和 ?VOTER
|
| (containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw) |
Government.kif 1062-1071 | 对所有 ?POLITY， ?AGENT,， ， ?ELECTION,， ， ?VOTINGAGE， and 和 ?AGE
|
| (containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?VOTER ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw) |
Government.kif 1122-1134 | 对所有 ?POLITY， ?VOTER,， ， ?ELECTION,， ， ?VOTINGAGE， and 和 ?AGE
|
|
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