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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VoterCitizenshipRequirement
VoterCitizenshipRequirement

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


(containsInformation
    (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER)
        (=>
            (and
                (instance ?COUNTRY Nation)
                (instance ?ELECTION
                    (ElectionFn ?COUNTRY))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement)
Government.kif 916-924 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER VoterCitizenshipRequirement の情報を contains %n{ない}
(instance VoterCitizenshipRequirement SuffrageLaw) Government.kif 908-908 VoterCitizenshipRequirementSuffrageLawinstance では %n

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


(termFormat ChineseLanguage VoterCitizenshipRequirement "选民公民身份要求") domainEnglishFormat.kif 61921-61921 termFormat ChineseLanguage, VoterCitizenshipRequirement and "选民公民身份要求"
(termFormat ChineseTraditionalLanguage VoterCitizenshipRequirement "選民公民身份要求") domainEnglishFormat.kif 61920-61920 termFormat ChineseTraditionalLanguage, VoterCitizenshipRequirement and "選民公民身份要求"
(termFormat EnglishLanguage VoterCitizenshipRequirement "voter citizenship requirement") domainEnglishFormat.kif 61919-61919 termFormat EnglishLanguage, VoterCitizenshipRequirement and "voter citizenship requirement"

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


(=>
    (and
        (instance ?COUNTRY GeopoliticalArea)
        (governmentType ?COUNTRY Democracy))
    (subProposition VoterCitizenshipRequirement
        (RegionalLawFn ?COUNTRY)))
Government.kif 910-914


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