CompulsorySuffrageLaw - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CompulsorySuffrageLaw

CompulsorySuffrageLaw(強制選舉法)

appearance as argument number 1

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 強制選舉法
No TPTP formula. May not be expressible in strict first order.	Government.kif 1118-1120	包含信息 ?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 強制選舉法
No TPTP formula. May not be expressible in strict first order.	Government.kif 1116-1116	例強制選舉法 and 選舉法

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16251-16251
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16250-16250
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16249-16249

antecedent

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 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

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