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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompulsorySuffrageLaw

Sigma KEE - CompulsorySuffrageLaw
CompulsorySuffrageLaw(compulsory suffrage law)compulsory_suffrage_law

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


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
s__documentation(s__CompulsorySuffrageLaw,s__EnglishLanguage,'CompulsorySuffrageLaw is a law that requires all eligible voters in a country to vote, under threat of some penalty.')

Government.kif 1125-1127
s__instance(s__SuffrageLaw,s__SetOrClass)

s__instance(s__CompulsorySuffrageLaw,s__SuffrageLaw)

Government.kif 1123-1123 Compulsory suffrage law is an instance of suffrage law

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


s__termFormat(s__EnglishLanguage,s__CompulsorySuffrageLaw,'compulsory suffrage law')

domainEnglishFormat.kif 3127-3127 "compulsory suffrage law" is the printable form of compulsory suffrage law in english language

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


( ∀ [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
No TPTP formula. May not be expressible in strict first order. Government.kif 1156-1172


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