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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectionFn
ElectionFn

appearance as argument number 1
-------------------------


s__documentation(s__ElectionFn__m,s__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 1674-1676
s__domain(s__ElectionFn__m,n__1,s__Agent)

Government.kif 1671-1671 The number 1 argument of election is an instance of agent
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__ElectionFn__m,s__UnaryFunction)

Government.kif 1670-1670 Election is an instance of unary function
s__rangeSubclass(s__ElectionFn__m,s__Election)

Government.kif 1672-1672 The values returned by election are subclasses of election

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__ElectionFn__m,'"%1 的 election "')

domainEnglishFormat.kif 844-844
s__format(s__ChineseTraditionalLanguage,s__ElectionFn__m,'"%1 的 election "')

domainEnglishFormat.kif 843-843
s__format(s__EnglishLanguage,s__ElectionFn__m,'"the election of %1"')

domainEnglishFormat.kif 842-842
s__termFormat(s__ChineseLanguage,s__ElectionFn__m,'"选举"')

domainEnglishFormat.kif 21411-21411
s__termFormat(s__ChineseTraditionalLanguage,s__ElectionFn__m,'"選舉"')

domainEnglishFormat.kif 21410-21410
s__termFormat(s__EnglishLanguage,s__ElectionFn__m,'"election"')

domainEnglishFormat.kif 21409-21409

antecedent
-------------------------


( ! [V__AGENT,V__ELECTION] :
   ((s__instance(V__ELECTION,s__Process) =>
       (((s__instance(V__AGENT,s__Agent) &
             s__instance(V__ELECTION,s__ElectionFn(V__AGENT)))
       =>
       (s__agent(V__ELECTION,V__AGENT)))))
)
)

Government.kif 1686-1690
( ! [V__AGENT] :
   (((s__instance(V__AGENT,s__Agent) &
         s__subclass(s__ElectionFn(V__AGENT)
      ,s__Election))
     =>
     ((s__instance(V__AGENT,s__Organization) |
         s__instance(V__AGENT,s__GeopoliticalArea))))
   )
)

Government.kif 1678-1684
( ! [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
&
s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 1061-1070
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)))
=>
(( ? [V__AGE] :
   ((s__instance(V__AGE,s__RealNumber) &
       (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
       &
       s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 1048-1059
( ! [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
&
s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 989-998
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)))
=>
(( ? [V__AGE] :
   ((s__instance(V__AGE,s__RealNumber) &
       (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
       &
       s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 976-987
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__POLITY,s__Nation) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY))
         &
         s__citizen(V__AGENT,V__POLITY)
       &
       s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
     &
     s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
   &
   s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
&
s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
=>
(( ? [V__VOTING] :
((s__instance(V__VOTING,s__Process) &
   (s__instance(V__VOTING,s__VotingFn(V__ELECTION))
&
s__agent(V__VOTING,V__AGENT)))))))))
)
)

Government.kif 1162-1175
( ! [V__AGENT,V__POLITY,V__ELECTION] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__POLITY,s__Nation) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
         &
         s__citizen(V__AGENT,V__POLITY)
       &
       s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
   &
   s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
=>
(s__attribute(V__AGENT,s__Male)))))
)
)

Government.kif 1236-1242
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__POLITY,s__Nation) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
         &
         s__citizen(V__AGENT,V__POLITY)
       &
       s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
   &
   s__instance(V__ACT,s__VotingFn(V__ELECTION))
&
s__agent(V__ACT,V__AGENT))
=>
(s__attribute(V__AGENT,s__Male)))))
)
)

Government.kif 1244-1251
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__POLITY,s__Nation) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
         &
         s__citizen(V__AGENT,V__POLITY)
       &
       s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
     &
     s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
   &
   s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
&
s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
=>
(s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)))))
)
)

Government.kif 1106-1116
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT)
   &
   s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 1038-1046
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT))
=>
(( ? [V__AGE] :
     ((s__instance(V__AGE,s__RealNumber) &
         (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
         &
         s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 1026-1036
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT)
   &
   s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 966-974
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT))
=>
(( ? [V__AGE] :
     ((s__instance(V__AGE,s__RealNumber) &
         (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
         &
         s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 954-964

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1118-1138
No TPTP formula. May not be expressible in strict first order. Government.kif 1197-1217
No TPTP formula. May not be expressible in strict first order. Government.kif 1177-1195
( ! [V__POLITY] :
   ((s__instance(V__POLITY,s__Nation) =>
       ((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
       =>
       (( ! [V__AGENT, V__ELECTION, V__VOTINGAGE, V__AGE] :
           (((s__instance(V__AGENT,s__Human) &
                 s__instance(V__ELECTION,s__Election) &
                 s__instance(V__VOTINGAGE,s__RealNumber) &
                 s__instance(V__AGE,s__RealNumber))
               =>
               (((s__citizen(V__AGENT,V__POLITY)
                   &
                   s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
                 &
                 s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
               &
               s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
             &
             s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
       =>
       (s__capability(s__VotingFn(V__ELECTION)
      ,s__agent__m,V__AGENT)))))))))))
)
)

Government.kif 1092-1104

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1227-1234 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 909-917 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1078-1089 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1146-1160 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law


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