Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExclusiveMaleSuffrage

 Sigma KEE - ExclusiveMaleSuffrage
ExclusiveMaleSuffrage

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
(instance ExclusiveMaleSuffrage RestrictedSuffrage) Government.kif 1203-1203

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
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (attribute ?AGENT Male))		 Government.kif 1214-1220
(=>
    (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


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