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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VoterCitizenshipRequirement

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 909-917 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER contains 选民公民身份要求 的资料
(instance VoterCitizenshipRequirement SuffrageLaw) Government.kif 901-901 选民公民身份要求选举法instance

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


(termFormat ChineseLanguage VoterCitizenshipRequirement "选民公民身份要求") domainEnglishFormat.kif 61895-61895
(termFormat ChineseTraditionalLanguage VoterCitizenshipRequirement "選民公民身份要求") domainEnglishFormat.kif 61894-61894
(termFormat EnglishLanguage VoterCitizenshipRequirement "voter citizenship requirement") domainEnglishFormat.kif 61893-61893

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


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


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