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 1241-1248 ?AGENT ?VOTER, ?ELECTION and ?VOTING contient information ExclusiveMaleSuffrage
(instance ExclusiveMaleSuffrage RestrictedSuffrage) Government.kif 1239-1239 ExclusiveMaleSuffrage est une instance de RestrictedSuffrage

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 1267-1273
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (attribute ?AGENT Male))
Government.kif 1250-1256
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT))
    (attribute ?AGENT Male))
Government.kif 1258-1265


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