TreeView Knowledge Base Browser - VoterAgeRequirement

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

VoterAgeRequirement

Sigma KEE - VoterAgeRequirement

VoterAgeRequirement(voter age requirement)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.

Government.kif 933-933

Voter age requirement is a subclass of suffrage law

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61971-61971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61970-61970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61969-61969

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1029-1038	If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age maximum of the geopolitical area, then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age maximum of the geopolitical area contains information the time durationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 957-966	If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age minimum of the geopolitical area, then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age minimum of the geopolitical area contains information the time durationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 935-940	If a geopolitical area is an instance of nation, then there exists a proposition such that the proposition is an instance of voter age requirement and the proposition is a sub-proposition of the regional law of the geopolitical area

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 3.0 is open source software produced by Articulate Software and its partners