TreeView Knowledge Base Browser - suffrageAgeMinimum

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

suffrageAgeMinimum

Sigma KEE - suffrageAgeMinimum

suffrageAgeMinimum

appearance as argument number 1

(documentation suffrageAgeMinimum EnglishLanguage "(suffrageAgeMinimum ?POLITY ?AGE) means that in the Organization or GeopoliticalArea ?POLITY, a person must be ?AGE or older in order to vote in the elections of ?POLITY.")	Government.kif 929-931
(domain suffrageAgeMinimum 1 Agent)	Government.kif 933-933	domain suffrageAgeMinimum, 1 and Agent
(domain suffrageAgeMinimum 2 TimeDuration)	Government.kif 934-934	domain suffrageAgeMinimum, 2 and TimeDuration
(instance suffrageAgeMinimum BinaryPredicate)	Government.kif 927-927	instance suffrageAgeMinimum and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage suffrageAgeMinimum "%2 %n 是 %1 的 suffrage 最小年纪")	domainEnglishFormat.kif 2411-2411
(format ChineseTraditionalLanguage suffrageAgeMinimum "%2 %n 是 %1 的 suffrage 最小年紀")	domainEnglishFormat.kif 2410-2410
(format EnglishLanguage suffrageAgeMinimum "%2 is %n a suffrage age minimum of %1")	domainEnglishFormat.kif 2409-2409
(termFormat ChineseLanguage suffrageAgeMinimum "最低年龄")	domainEnglishFormat.kif 55918-55918
(termFormat ChineseTraditionalLanguage suffrageAgeMinimum "最低年齡")	domainEnglishFormat.kif 55917-55917
(termFormat EnglishLanguage suffrageAgeMinimum "suffrage age minimum")	domainEnglishFormat.kif 55916-55916

antecedent

(=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMinimum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMinimum ?AREA ?AGE) ?AGERULE))))	Government.kif 942-951	instance GeopoliticalArea and GeopoliticalArea suffrageAgeMinimum GeopoliticalArea and TimeDuration TimeDurationRULE instance TimeDurationRULE and VoterAgeRequirement subProposition TimeDurationRULE and RegionalLawFn GeopoliticalArea containsInformation suffrageAgeMinimum GeopoliticalArea and TimeDuration and TimeDurationRULE
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 988-997	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMinimum Agent and MeasureFn RealNumber and YearDuration age Agent and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 975-986	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMinimum Agent and MeasureFn RealNumber and YearDuration RealNumber age Agent and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))	Government.kif 1161-1174	subProposition CompulsorySuffrageLaw and RegionalLawFn Nation citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn RealNumber and YearDuration age Human and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber instance Election and ElectionFn Nation Process instance Process and VotingFn Election agent Process and Human
(=> (and (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))	Government.kif 1105-1115	subProposition UniversalSuffrageLaw and RegionalLawFn Nation citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn RealNumber and YearDuration age Human and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber instance Election and ElectionFn Nation capability VotingFn Election, agent and Human
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 965-973	suffrageAgeMinimum Agent and MeasureFn RealNumber and YearDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object age Object and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 953-963	suffrageAgeMinimum Agent and MeasureFn RealNumber and YearDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object RealNumber age Object and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber
(=> (suffrageAgeMinimum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 936-940	suffrageAgeMinimum Agent and TimeDuration instance Agent and Organization instance Agent and GeopoliticalArea

consequent

(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1117-1137	citizen Human and Nation subProposition UniversalSuffrageLaw and RegionalLawFn Nation confersRight entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn entity and YearDuration age Human and MeasureFn entity and YearDuration greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMinimum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMinimum ?AREA ?AGE) ?AGERULE))))	Government.kif 942-951	instance GeopoliticalArea and GeopoliticalArea suffrageAgeMinimum GeopoliticalArea and TimeDuration TimeDurationRULE instance TimeDurationRULE and VoterAgeRequirement subProposition TimeDurationRULE and RegionalLawFn GeopoliticalArea containsInformation suffrageAgeMinimum GeopoliticalArea and TimeDuration and TimeDurationRULE
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY)) (confersObligation (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1196-1216	subProposition CompulsorySuffrageLaw and RegionalLawFn Nation citizen Human and Nation confersObligation entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn entity and YearDuration age Human and MeasureFn entity and YearDuration greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (confersObligation (forall (?AGENT ?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?POLITY))	Government.kif 1176-1194	subProposition CompulsorySuffrageLaw and RegionalLawFn GeopoliticalArea confersObligation entity entity, entity and entity citizen entity and GeopoliticalArea suffrageAgeMinimum GeopoliticalArea and MeasureFn entity and YearDuration age entity and MeasureFn entity and YearDuration greaterThanOrEqualTo entity and entity instance entity and ElectionFn GeopoliticalArea entity instance entity and VotingFn entity agent entity and entity , RegionalLawFn GeopoliticalArea and GeopoliticalArea
(=> (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))))	Government.kif 1091-1103	subProposition UniversalSuffrageLaw and RegionalLawFn Nation Human Election, RealNumber and RealNumber citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn RealNumber and YearDuration age Human and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and RealNumber instance Election and ElectionFn Nation capability VotingFn Election, agent and Human

statement

(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)	Government.kif 1077-1088	containsInformation ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE citizen ?AGENT and ?POLITY suffrageAgeMinimum ?POLITY and MeasureFn ?VOTINGAGE and YearDuration age ?AGENT and MeasureFn ?AGE and YearDuration greaterThanOrEqualTo ?AGE and ?VOTINGAGE instance ?ELECTION and ElectionFn ?POLITY capability VotingFn ?ELECTION, agent and ?AGENT and UniversalSuffrageLaw
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)	Government.kif 1145-1159	containsInformation ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE citizen ?VOTER and ?POLITY suffrageAgeMinimum ?POLITY and MeasureFn ?VOTINGAGE and YearDuration age ?VOTER and MeasureFn ?AGE and YearDuration greaterThanOrEqualTo ?AGE and ?VOTINGAGE instance ?ELECTION and ElectionFn ?POLITY ?VOTING instance ?VOTING and VotingFn ?ELECTION agent ?VOTING and ?VOTER and CompulsorySuffrageLaw

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