ExclusiveMaleSuffrage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ExclusiveMaleSuffrage

ExclusiveMaleSuffrage(exclusive male suffrage)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1203-1210	For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING if ?ELECTION is an instance of the election of ?AGENT and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then male is an attribute of ?VOTER contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order.	Government.kif 1201-1201	Exclusive male suffrage is an instance of restricted suffrage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22696-22696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22695-22695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22694-22694

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1229-1235	If exclusive male suffrage is a sub_proposition of the regional law of a geopolitical area and female is an attribute of an object and the object is a member of the resident of the geopolitical area and an election is an instance of election, then the object is not capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1212-1218	If exclusive male suffrage is a sub_proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and the human is capable of doing the voting of the election as a agent, then male is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1220-1227	If exclusive male suffrage is a sub_proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and a process is an instance of the voting of the election and the human is an agent of the process, then male is an attribute of the human

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