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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SuffrageLaw
SuffrageLaw

appearance as argument number 1
-------------------------


(documentation SuffrageLaw EnglishLanguage "SuffrageLaw is a class that includes the various types of suffrage rules of different Nations. Instances of SuffrageLaw represent the propositional content of various suffrage laws.") Government.kif 894-897
(subclass SuffrageLaw Proposition) Government.kif 892-892 SuffrageLaw命題subclass では %n

appearance as argument number 2
-------------------------


(instance CompulsorySuffrageLaw SuffrageLaw) Government.kif 1123-1123 CompulsorySuffrageLawSuffrageLawinstance では %n
(instance UniversalSuffrageLaw SuffrageLaw) Government.kif 1063-1063 UniversalSuffrageLawSuffrageLawinstance では %n
(instance VoterCitizenshipRequirement SuffrageLaw) Government.kif 908-908 VoterCitizenshipRequirementSuffrageLawinstance では %n
(subclass RestrictedSuffrage SuffrageLaw) Government.kif 1194-1194 RestrictedSuffrageSuffrageLawsubclass では %n
(subclass VoterAgeRequirement SuffrageLaw) Government.kif 926-926 VoterAgeRequirementSuffrageLawsubclass では %n
(termFormat ChineseLanguage SuffrageLaw "选举法") domainEnglishFormat.kif 55891-55891 termFormat ChineseLanguage, SuffrageLaw and "选举法"
(termFormat ChineseTraditionalLanguage SuffrageLaw "選舉法") domainEnglishFormat.kif 55890-55890 termFormat ChineseTraditionalLanguage, SuffrageLaw and "選舉法"
(termFormat EnglishLanguage SuffrageLaw "suffrage law") domainEnglishFormat.kif 55889-55889 termFormat EnglishLanguage, SuffrageLaw and "suffrage law"

consequent
-------------------------


(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))
Government.kif 899-906


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners