VotingFn - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Government.kif 1732-1733
No TPTP formula. May not be expressible in strict first order.	Government.kif 1729-1729	域表決, 1 and 選舉
No TPTP formula. May not be expressible in strict first order.	Government.kif 1728-1728	例表決 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Government.kif 1730-1730	範圍子類表決 and 表決

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2607-2607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2606-2606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2605-2605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61989-61989
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61988-61988
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61987-61987

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1075-1084	例選舉 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 1062-1073	例選舉 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 1003-1012	例選舉 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 990-1001	例選舉 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 1250-1256	次提案獨家男性選舉權 and Nation 的 regional 法律公民 Human and Nation 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human attribute Human and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1258-1265	次提案獨家男性選舉權 and Nation 的 regional 法律公民 Human and Nation 例選舉 and Nation 的 election 例 Process and 選舉的 voting agent Process and Human attribute Human and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1052-1060	測量 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 1040-1050	測量 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 980-988	測量 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 968-978	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object RealNumber 年齡 Object and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	公民 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 1176-1189	次提案強制選舉法 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 1211-1231	次提案強制選舉法 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 1267-1273	次提案獨家男性選舉權 and GeopoliticalArea 的 regional 法律 attribute Object and 女會員 Object and GeopoliticalArea 的 resident 例選舉 and 選舉能力選舉的 voting , agent and Object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1120-1130	次提案普選法 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 1191-1209	次提案強制選舉法 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 1106-1118	次提案普選法 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 1241-1248	包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING 例 ?ELECTION and ?AGENT 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER attribute ?VOTER and 男 and 獨家男性選舉權
No TPTP formula. May not be expressible in strict first order.	Government.kif 923-931	包含信息 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER 例 ?COUNTRY and Nation 例 ?ELECTION and ?COUNTRY 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER 公民 ?VOTER and ?COUNTRY and 選民公民身份要求
No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	包含信息 ?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 1160-1174	包含信息 ?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