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

Formal Language: 



KB Term:  Term intersection
English Word: 

  suffrageAgeMinimum

Sigma KEE - suffrageAgeMinimum
suffrageAgeMinimum

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


s__documentation(s__suffrageAgeMinimum__m,s__EnglishLanguage,'(suffrageAgeMinimum ?POLITY ?AGE) means that in the Organization or GeopoliticalArea ?POLITY, a person must be ?AGE or older in order to vote in the elections of ?POLITY.')

Government.kif 937-939
s__domain(s__suffrageAgeMinimum__m,1,s__Agent)

Government.kif 941-941 The number 1 argument of suffrage age minimum is an instance of agent
s__domain(s__suffrageAgeMinimum__m,2,s__TimeDuration)

Government.kif 942-942 The number 2 argument of suffrage age minimum is an instance of time duration
s__instance(s__suffrageAgeMinimum__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Government.kif 935-935 suffrage age minimum is an instance of binary predicate

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


s__format(s__EnglishLanguage,s__suffrageAgeMinimum__m,'%2 is %n a suffrage age minimum of %1')

domainEnglishFormat.kif 610-610
s__termFormat(s__EnglishLanguage,s__suffrageAgeMinimum__m,'suffrage age minimum')

domainEnglishFormat.kif 9748-9748 "suffrage age minimum" is the printable form of suffrage age minimum in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 950-959
( ∀ [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE]
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__ACT,s__Process)s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration))
    s__=>((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
    s__and__ms__instance(V__ACT,s__VotingFn(V__ELECTION))
s__and__ms__agent(V__ACT,V__AGENT)
s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
s__and__ms__age(V__AGENT,V__AGE))
s__=>s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))
)

Government.kif 990-997
( ∀ [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE]
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__ACT,s__Process)s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration))
    s__=>((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
    s__and__ms__instance(V__ACT,s__VotingFn(V__ELECTION))
s__and__ms__agent(V__ACT,V__AGENT)
s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE))
s__=>(s__exists__m[V__AGE]
(s__instance(V__AGE,s__TimeDuration)s__and__m(s__age(V__AGENT,V__AGE)
s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))))
)

Government.kif 979-988
( ∀ [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION]
   ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY))
    s__and__ms__citizen(V__AGENT,V__POLITY)
  s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
s__and__ms__age(V__AGENT,V__AGE)
s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
s__=>(s__exists__m[V__VOTING]
(s__instance(V__VOTING,s__Process)s__and__m(s__instance(V__VOTING,s__VotingFn(V__ELECTION))
s__and__ms__agent(V__VOTING,V__AGENT))))))
)

Government.kif 1143-1154
( ∀ [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION]
   ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
    s__and__ms__citizen(V__AGENT,V__POLITY)
  s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
s__and__ms__age(V__AGENT,V__AGE)
s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
s__=>s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)))
)

Government.kif 1093-1101
( ∀ [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION]
   ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
      s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))
  s__and__ms__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)
s__and__ms__age(V__AGENT,V__AGE))
s__=>s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))
)

Government.kif 971-977
( ∀ [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION]
   ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
      s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))
  s__and__ms__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
s__=>(s__exists__m[V__AGE]
(s__instance(V__AGE,s__TimeDuration)s__and__m(s__age(V__AGENT,V__AGE)
s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))))
)

Government.kif 961-969
( ∀ [V__AGENT,V__AGE]
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__AGE,s__TimeDuration))
    s__=>(s__suffrageAgeMinimum(V__AGENT,V__AGE)
    s__=>(s__instance(V__AGENT,s__Organization)s__or__ms__instance(V__AGENT,s__GeopoliticalArea))))
)

Government.kif 944-948

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
No TPTP formula. May not be expressible in strict first order. Government.kif 950-959
No TPTP formula. May not be expressible in strict first order. Government.kif 1174-1192
No TPTP formula. May not be expressible in strict first order. Government.kif 1156-1172
( ∀ [V__POLITY]
   (s__instance(V__POLITY,s__Nation)s__=>(s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
  s__=>(s__forall__m[V__AGENT,V__ELECTION,V__VOTINGAGE,V__AGE]
     ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__AGE,s__TimeDuration))
      s__=>((s__citizen(V__AGENT,V__POLITY)
        s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
      s__and__ms__age(V__AGENT,V__AGE)
    s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
  s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
s__=>s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))))))
)

Government.kif 1081-1091

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1069-1078 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 1129-1141 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
  • if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING
contains information compulsory suffrage law


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners