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
s__instance(s__UnaryFunction,s__SetOrClass)

 Government.kif 1688-1688
s__rangeSubclass(s__VotingFn__m,s__Voting)

 Government.kif 1690-1690

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

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


( ∀ [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__suffrageAgeMaximum(V__POLITY,V__VOTINGAGE)
∧
s__age(V__AGENT,V__AGE))
⇒
s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))
)

 Government.kif 1054-1061
( ∀ [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__suffrageAgeMaximum(V__POLITY,V__VOTINGAGE))
⇒
(∃ [V__AGE]
(s__age(V__AGENT,V__AGE)
∧
s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))))
)

 Government.kif 1043-1052
( ∀ [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__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 1211-1217
( ∀ [V__POLITY,V__AGENT,V__ELECTION,V__ACT]
   ((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 1219-1226
( ∀ [V__POLITY,V__VOTINGAGE,V__ELECTION,V__AGENT,V__AGE]
   ((s__suffrageAgeMaximum(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__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))
)

 Government.kif 1035-1041
( ∀ [V__POLITY,V__VOTINGAGE,V__ELECTION,V__AGENT]
   ((s__suffrageAgeMaximum(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__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))))
)

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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
( ∀ [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
No TPTP formula. May not be expressible in strict first order. Government.kif 1174-1192
( ∀ [V__POLITY,V__AGENT,V__ELECTION]
   ((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
   ∧
   s__attribute(V__AGENT,s__Female) ∧
   s__instance(V__ELECTION,s__Election))
⇒
(¬ s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)))
)

 Government.kif 1228-1233
( ∀ [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
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 1202-1209
No TPTP formula. May not be expressible in strict first order. Government.kif 916-924
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