VoterCitizenshipRequirement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VoterCitizenshipRequirement

VoterCitizenshipRequirement(voter citizenship requirement)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 885-893	For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER if ?COUNTRY is an instance of nation and ?ELECTION is an instance of the election of ?COUNTRY and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then ?VOTER is a citizen of ?COUNTRY contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order.	Government.kif 877-877	Voter citizenship requirement is an instance of suffrage law

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62000-62000
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61999-61999
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61998-61998

consequent

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

Government.kif 879-883

If a geopolitical area is an instance of geopolitical area and democracy is a government type of the geopolitical area,
then voter citizenship requirement is a sub_proposition of the regional law of the geopolitical area

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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