suffrageAgeMinimum - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - suffrageAgeMinimum

suffrageAgeMinimum

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 906-908
No TPTP formula. May not be expressible in strict first order.	Government.kif 910-910	域最低年齡, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 911-911	域最低年齡, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Government.kif 904-904	例最低年齡 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2415-2415
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2414-2414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2413-2413
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55972-55972
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55971-55971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55970-55970

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 919-928	例 GeopoliticalArea and GeopoliticalArea TimeDuration 是 GeopoliticalArea 的 suffrage 最小年紀 TimeDurationRULE 例 TimeDurationRULE and 選民年齡要求次提案 TimeDurationRULE and GeopoliticalArea 的 regional 法律包含信息 TimeDuration 是 GeopoliticalArea 的 suffrage 最小年紀 and TimeDurationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 965-974	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀年齡 AutonomousAgent and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 952-963	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀 RealNumber 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1138-1151	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election Process 例 Process and 選舉的 voting agent Process and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1082-1092	次提案普選法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 942-950	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object 年齡 Object and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 930-940	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object RealNumber 年齡 Object and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 913-917	TimeDuration 是 TimeDurationNT 的 suffrage 最小年紀例 TimeDurationNT and Organization 例 TimeDurationNT and GeopoliticalArea

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 919-928	例 GeopoliticalArea and GeopoliticalArea TimeDuration 是 GeopoliticalArea 的 suffrage 最小年紀 TimeDurationRULE 例 TimeDurationRULE and 選民年齡要求次提案 TimeDurationRULE and GeopoliticalArea 的 regional 法律包含信息 TimeDuration 是 GeopoliticalArea 的 suffrage 最小年紀 and TimeDurationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 1173-1193	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 授予義務 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1153-1171	次提案強制選舉法 and GeopoliticalArea 的 regional 法律授予義務 entity entity, entity and entity 公民 entity and GeopoliticalArea 測量 entity and 年持續時間是 GeopoliticalArea 的 suffrage 最小年紀年齡 entity and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and GeopoliticalArea 的 election entity 例 entity and entity 的 voting agent entity and entity , GeopoliticalArea 的 regional 法律 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1068-1080	次提案普選法 and Nation 的 regional 法律 Human 選舉, RealNumber and RealNumber 公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1054-1065	包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?AGENT and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?AGENT and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election 能力 ?ELECTION 的 voting , agent and ?AGENT and 普選法
No TPTP formula. May not be expressible in strict first order.	Government.kif 1122-1136	包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?VOTER and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?VOTER and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election ?VOTING 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER and 強制選舉法

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