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

(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage)	Government.kif 1205-1212	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
(instance ExclusiveMaleSuffrage RestrictedSuffrage)	Government.kif 1203-1203	Exclusive male suffrage is an instance of restricted suffrage

appearance as argument number 2

(termFormat ChineseLanguage ExclusiveMaleSuffrage "独家男性选举权")	domainEnglishFormat.kif 22684-22684
(termFormat ChineseTraditionalLanguage ExclusiveMaleSuffrage "獨家男性選舉權")	domainEnglishFormat.kif 22683-22683
(termFormat EnglishLanguage ExclusiveMaleSuffrage "exclusive male suffrage")	domainEnglishFormat.kif 22682-22682

antecedent

(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1231-1237	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
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male))	Government.kif 1214-1220	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
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male))	Government.kif 1222-1229	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