TreeView Knowledge Base Browser - VoterCitizenshipRequirement

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

VoterCitizenshipRequirement

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 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 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 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