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
s__domain(s__suffrageAgeMinimum__m,2,s__TimeDuration)

 Government.kif 942-942
s__instance(s__suffrageAgeMinimum__m,s__BinaryPredicate)

 Government.kif 935-935

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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 950-959
( ∀ [V__ELECTION,V__POLITY,V__ACT,V__AGENT,V__VOTINGAGE,V__AGE]
   ((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,V__VOTINGAGE)
∧
s__age(V__AGENT,V__AGE))
⇒
s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))
)

 Government.kif 990-997
( ∀ [V__ELECTION,V__POLITY,V__ACT,V__AGENT,V__VOTINGAGE]
   ((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,V__VOTINGAGE))
⇒
(∃ [V__AGE]
(s__age(V__AGENT,V__AGE)
∧
s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))
)

 Government.kif 979-988
( ∀ [V__POLITY,V__AGENT,V__VOTINGAGE,V__AGE,V__ELECTION]
   ((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY))
   ∧
   s__citizen(V__AGENT,V__POLITY)
∧
s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
∧
s__age(V__AGENT,V__AGE)
∧
s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
∧
s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
⇒
(∃ [V__VOTING]
(s__instance(V__VOTING,s__VotingFn(V__ELECTION))
∧
s__agent(V__VOTING,V__AGENT))))
)

 Government.kif 1143-1154
( ∀ [V__POLITY,V__AGENT,V__VOTINGAGE,V__AGE,V__ELECTION]
   ((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
   ∧
   s__citizen(V__AGENT,V__POLITY)
∧
s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
∧
s__age(V__AGENT,V__AGE)
∧
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 1093-1101
( ∀ [V__POLITY,V__VOTINGAGE,V__ELECTION,V__AGENT,V__AGE]
   ((s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
     ∧
     s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
∧
s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)
∧
s__age(V__AGENT,V__AGE))
⇒
s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))
)

 Government.kif 971-977
( ∀ [V__POLITY,V__VOTINGAGE,V__ELECTION,V__AGENT]
   ((s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
     ∧
     s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
∧
s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
⇒
(∃ [V__AGE]
(s__age(V__AGENT,V__AGE)
∧
s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))
)

 Government.kif 961-969
( ∀ [V__AGENT,V__AGE]
   (s__suffrageAgeMinimum(V__AGENT,V__AGE)
   ⇒
   (s__instance(V__AGENT,s__Organization) ∨
     s__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__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
⇒
(∀ [V__AGENT,V__ELECTION,V__VOTINGAGE,V__AGE]
   ((s__citizen(V__AGENT,V__POLITY)
     ∧
     s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
   ∧
   s__age(V__AGENT,V__AGE)
∧
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 1081-1091

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1069-1078
No TPTP formula. May not be expressible in strict first order. Government.kif 1129-1141


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