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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VotingFn

Sigma KEE - VotingFn
VotingFn

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


s__documentation(s__VotingFn__m,s__EnglishLanguage,'(VotingFn ?ELECTION) denotes the class of voting events that occur as part of the Election ?ELECTION.')

Government.kif 1692-1693
s__domain(s__VotingFn__m,1,s__Election)

Government.kif 1689-1689 The number 1 argument of voting is an instance of election
s__instance(s__VotingFn__m,s__UnaryFunction)

s__instance(s__UnaryFunction,s__SetOrClass)

Government.kif 1688-1688 Voting is an instance of unary function
s__rangeSubclass(s__VotingFn__m,s__Voting)

Government.kif 1690-1690 The values returned by voting are subclasses of voting

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


s__format(s__EnglishLanguage,s__VotingFn__m,'the voting of %1')

domainEnglishFormat.kif 659-659
s__termFormat(s__EnglishLanguage,s__VotingFn__m,'voting')

domainEnglishFormat.kif 10756-10756 "voting" is the printable form of voting in english language

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


( ∀ [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__suffrageAgeMaximum(V__POLITY,V__VOTINGAGE)
s__and__ms__age(V__AGENT,V__AGE))
s__=>s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))
)

Government.kif 1054-1061
( ∀ [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__suffrageAgeMaximum(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__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))))))
)

Government.kif 1043-1052
( ∀ [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__ELECTION]
   ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
    s__and__ms__citizen(V__AGENT,V__POLITY)
  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__attribute(V__AGENT,s__Male)))
)

Government.kif 1211-1217
( ∀ [V__AGENT,V__POLITY,V__ACT,V__ELECTION]
   ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__ACT,s__Process)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
    s__and__ms__citizen(V__AGENT,V__POLITY)
  s__and__ms__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__=>s__attribute(V__AGENT,s__Male)))
)

Government.kif 1219-1226
( ∀ [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__suffrageAgeMaximum(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__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))
)

Government.kif 1035-1041
( ∀ [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__suffrageAgeMaximum(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__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))))))
)

Government.kif 1025-1033
( ∀ [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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
( ∀ [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
No TPTP formula. May not be expressible in strict first order. Government.kif 1174-1192
( ∀ [V__AGENT,V__POLITY,V__ELECTION]
   ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__GeopoliticalArea))
    s__=>((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
    s__and__ms__attribute(V__AGENT,s__Female)s__and__ms__instance(V__ELECTION,s__Election))
  s__=>(s__not__ms__capability(s__VotingFn(V__ELECTION)
  ,s__agent__m,V__AGENT))))
)

Government.kif 1228-1233
( ∀ [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
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 1202-1209 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 916-924 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 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