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 887-895 包含信息 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER and 選民公民身份要求
(instance VoterCitizenshipRequirement SuffrageLaw) Government.kif 879-879 選民公民身份要求 and 選舉法

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


(termFormat ChineseLanguage VoterCitizenshipRequirement "选民公民身份要求") domainEnglishFormat.kif 61979-61979
(termFormat ChineseTraditionalLanguage VoterCitizenshipRequirement "選民公民身份要求") domainEnglishFormat.kif 61978-61978
(termFormat EnglishLanguage VoterCitizenshipRequirement "voter citizenship requirement") domainEnglishFormat.kif 61977-61977

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


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


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 3.0 is open source software produced by Articulate Software and its partners