VoterAgeRequirement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - VoterAgeRequirement

VoterAgeRequirement

appearance as argument number 1

(subclass VoterAgeRequirement SuffrageLaw)

Government.kif 926-926

VoterAgeRequirement は SuffrageLaw の subclass では %n

appearance as argument number 2

(termFormat ChineseLanguage VoterAgeRequirement "选民年龄要求")	domainEnglishFormat.kif 61915-61915	termFormat ChineseLanguage, VoterAgeRequirement and "选民年龄要求"
(termFormat ChineseTraditionalLanguage VoterAgeRequirement "選民年齡要求")	domainEnglishFormat.kif 61914-61914	termFormat ChineseTraditionalLanguage, VoterAgeRequirement and "選民年齡要求"
(termFormat EnglishLanguage VoterAgeRequirement "voter age requirement")	domainEnglishFormat.kif 61913-61913	termFormat EnglishLanguage, VoterAgeRequirement and "voter age requirement"

consequent

(=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMaximum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMaximum ?AREA ?AGE) ?AGERULE))))	Government.kif 1014-1023	地政学的地域は地政学的地域の instance では %n suffrageAgeMaximum 地政学的地域 and 時間分時間分RULE 時間分RULE は VoterAgeRequirement の instance では %n 時間分RULE は RegionalLawFn 地政学的地域の sub-proposition では %n suffrageAgeMaximum 地政学的地域 and 時間分は時間分RULE の情報を contains %n{ない}
(=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMinimum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMinimum ?AREA ?AGE) ?AGERULE))))	Government.kif 950-959	地政学的地域は地政学的地域の instance では %n suffrageAgeMinimum 地政学的地域 and 時間分時間分RULE 時間分RULE は VoterAgeRequirement の instance では %n 時間分RULE は RegionalLawFn 地政学的地域の sub-proposition では %n suffrageAgeMinimum 地政学的地域 and 時間分は時間分RULE の情報を contains %n{ない}
(=> (instance ?COUNTRY Nation) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?COUNTRY)))))	Government.kif 928-933	地政学的地域は国民の instance では %n 命題命題は VoterAgeRequirement の instance では %n 命題は RegionalLawFn 地政学的地域の sub-proposition では %n

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