TreeView Knowledge Base Browser - VotingFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VotingFn

VotingFn

appearance as argument number 1

(documentation VotingFn EnglishLanguage "(VotingFn ?ELECTION) denotes the class of voting events that occur as part of the Election ?ELECTION.")	Government.kif 1732-1733
(domain VotingFn 1 Election)	Government.kif 1729-1729	VotingFn の数値 1 引数は Election の instance では %n
(instance VotingFn UnaryFunction)	Government.kif 1728-1728	VotingFn は 1変数関数の instance では %n
(rangeSubclass VotingFn Voting)	Government.kif 1730-1730	VotingFn が返す値は Voting の subclasses では %n

appearance as argument number 2

(format ChineseLanguage VotingFn "%1 的 voting ")	domainEnglishFormat.kif 2607-2607
(format ChineseTraditionalLanguage VotingFn "%1 的 voting ")	domainEnglishFormat.kif 2606-2606
(format EnglishLanguage VotingFn "the voting of %1")	domainEnglishFormat.kif 2605-2605
(termFormat ChineseLanguage VotingFn "表决")	domainEnglishFormat.kif 61989-61989
(termFormat ChineseTraditionalLanguage VotingFn "表決")	domainEnglishFormat.kif 61988-61988
(termFormat EnglishLanguage VotingFn "voting")	domainEnglishFormat.kif 61987-61987

antecedent

(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1075-1084	Election は ElectionFn AutonomousAgent の instance では %n 工程は VotingFn Election の instance では %n AutonomousAgent は工程の agent では %n suffrageAgeMaximum AutonomousAgent and 実数の YearDuration(s) AutonomousAgent の age は実数の YearDuration(s) では実数は実数より less または同等では %n
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1062-1073	Election は ElectionFn AutonomousAgent の instance では %n 工程は VotingFn Election の instance では %n AutonomousAgent は工程の agent では %n suffrageAgeMaximum AutonomousAgent and 実数の YearDuration(s) 実数 AutonomousAgent の age は実数の YearDuration(s) では実数は実数より less または同等では %n
(=> (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 1003-1012	Election は ElectionFn AutonomousAgent の instance では %n 工程は VotingFn Election の instance では %n AutonomousAgent は工程の agent では %n suffrageAgeMinimum AutonomousAgent and 実数の YearDuration(s) AutonomousAgent の age は実数の YearDuration(s) では実数は実数 greater では　%n
(=> (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 990-1001	Election は ElectionFn AutonomousAgent の instance では %n 工程は VotingFn Election の instance では %n AutonomousAgent は工程の agent では %n suffrageAgeMinimum AutonomousAgent and 実数の YearDuration(s) 実数 AutonomousAgent の age は実数の YearDuration(s) では実数は実数 greater では　%n
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male))	Government.kif 1250-1256	ExclusiveMaleSuffrage は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n Election は ElectionFn 国民の instance では %n 人［人間］は VotingFn Election を agent として行う capable では %n Male は人［人間］の attribute では %n
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male))	Government.kif 1258-1265	ExclusiveMaleSuffrage は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n Election は ElectionFn 国民の instance では %n 工程は VotingFn Election の instance では %n 人［人間］は工程の agent では %n Male は人［人間］の attribute では %n
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1052-1060	suffrageAgeMaximum AutonomousAgent and 実数の YearDuration(s) Election は ElectionFn AutonomousAgent の instance では %n オブジェクトは VotingFn Election を agent として行う capable では %n オブジェクトの age は実数の YearDuration(s) では実数は実数より less または同等では %n
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1040-1050	suffrageAgeMaximum AutonomousAgent and 実数の YearDuration(s) Election は ElectionFn AutonomousAgent の instance では %n オブジェクトは VotingFn Election を agent として行う capable では %n 実数オブジェクトの age は実数の YearDuration(s) では実数は実数より less または同等では %n
(=> (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 980-988	suffrageAgeMinimum AutonomousAgent and 実数の YearDuration(s) Election は ElectionFn AutonomousAgent の instance では %n オブジェクトは VotingFn Election を agent として行う capable では %n オブジェクトの age は実数の YearDuration(s) では実数は実数 greater では　%n
(=> (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 968-978	suffrageAgeMinimum AutonomousAgent and 実数の YearDuration(s) Election は ElectionFn AutonomousAgent の instance では %n オブジェクトは VotingFn Election を agent として行う capable では %n 実数オブジェクトの age は実数の YearDuration(s) では実数は実数 greater では　%n

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 1132-1152	人［人間］は国民% の citizen では %n UniversalSuffrageLaw は RegionalLawFn 国民の sub-proposition では %n RegionalLawFn 国民は人［人間］がエンティティーエンティティー and エンティティー人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and エンティティーの YearDuration(s) 人［人間］の age はエンティティーの YearDuration(s) ではエンティティーはエンティティー greater では　%n エンティティーは ElectionFn 国民の instance では %n エンティティーエンティティーは VotingFn エンティティーの instance では %n 人［人間］はエンティティーの agent では %n のタスクを実行することはを allows %n{ない}
(=> (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 1176-1189	CompulsorySuffrageLaw は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and 実数の YearDuration(s) 人［人間］の age は実数の YearDuration(s) では実数は実数 greater では　%n Election は ElectionFn 国民の instance では %n 工程工程は VotingFn Election の instance では %n 人［人間］は工程の agent では %n
(=> (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 1211-1231	CompulsorySuffrageLaw は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n RegionalLawFn 国民は人［人間］にタイプエンティティーエンティティー and エンティティー人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and エンティティーの YearDuration(s) 人［人間］の age はエンティティーの YearDuration(s) ではエンティティーはエンティティー greater では　%n エンティティーは ElectionFn 国民の instance では %n エンティティーエンティティーは VotingFn エンティティーの instance では %n 人［人間］はエンティティーの agent では %n のタスクを実行する obligates %n{ない}
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1267-1273	ExclusiveMaleSuffrage は RegionalLawFn 地政学的地域の sub-proposition では %n Female はオブジェクトの attribute では %n オブジェクトは ResidentFn 地政学的地域の member では %n Election は Election の instance では %n オブジェクトは VotingFn Election を agent として行う capable では
(=> (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 1120-1130	UniversalSuffrageLaw は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and 実数の YearDuration(s) 人［人間］の age は実数の YearDuration(s) では実数は実数 greater では　%n Election は ElectionFn 国民の instance では %n 人［人間］は VotingFn Election を agent として行う capable では %n
(=> (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 1191-1209	CompulsorySuffrageLaw は RegionalLawFn 地政学的地域の sub-proposition では %n RegionalLawFn 地政学的地域は地政学的地域にタイプエンティティーエンティティー, エンティティー and エンティティーエンティティーは地政学的地域% の citizen では %n suffrageAgeMinimum 地政学的地域 and エンティティーの YearDuration(s) エンティティーの age はエンティティーの YearDuration(s) ではエンティティーはエンティティー greater では　%n エンティティーは ElectionFn 地政学的地域の instance では %n エンティティーエンティティーは VotingFn エンティティーの instance では %n エンティティーはエンティティーの agent では %n のタスクを実行する obligates %n{ない}
(=> (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 1106-1118	UniversalSuffrageLaw は RegionalLawFn 国民の sub-proposition では %n 人［人間］ Election, 実数 and 実数人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and 実数の YearDuration(s) 人［人間］の age は実数の YearDuration(s) では実数は実数 greater では　%n Election は ElectionFn 国民の instance では %n 人［人間］は VotingFn Election を agent として行う capable では %n

statement

(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage)	Government.kif 1241-1248	?AGENT ?VOTER, ?ELECTION and ?VOTING ?ELECTION は ElectionFn ?AGENT の instance では %n ?VOTING は VotingFn ?ELECTION の instance では %n ?VOTER は ?VOTING の agent では %n Male は ?VOTER の attribute では %n は ExclusiveMaleSuffrage の情報を contains %n{ない}
(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 923-931	?COUNTRY ?ELECTION, ?VOTING and ?VOTER ?COUNTRY は国民の instance では %n ?ELECTION は ElectionFn ?COUNTRY の instance では %n ?VOTING は VotingFn ?ELECTION の instance では %n ?VOTER は ?VOTING の agent では %n ?VOTER は ?COUNTRY% の citizen では %n は VoterCitizenshipRequirement の情報を contains %n{ない}
(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 1092-1103	?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE ?AGENT は ?POLITY% の citizen では %n suffrageAgeMinimum ?POLITY and ?VOTINGAGE の YearDuration(s) ?AGENT の age は ?AGE の YearDuration(s) では ?AGE は ?VOTINGAGE greater では　%n ?ELECTION は ElectionFn ?POLITY の instance では %n ?AGENT は VotingFn ?ELECTION を agent として行う capable では %n は UniversalSuffrageLaw の情報を contains %n{ない}
(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 1160-1174	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER は ?POLITY% の citizen では %n suffrageAgeMinimum ?POLITY and ?VOTINGAGE の YearDuration(s) ?VOTER の age は ?AGE の YearDuration(s) では ?AGE は ?VOTINGAGE greater では　%n ?ELECTION は ElectionFn ?POLITY の instance では %n ?VOTING ?VOTING は VotingFn ?ELECTION の instance では %n ?VOTER は ?VOTING の agent では %n は CompulsorySuffrageLaw の情報を contains %n{ない}

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