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 1160-1174	对所有 ?POLITY， ?VOTER,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?VOTER 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?VOTER 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后有存在 ?VOTING 这样 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent contains 强制选举法的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 1156-1158
No TPTP formula. May not be expressible in strict first order.	Government.kif 1154-1154	强制选举法是选举法的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16236-16236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16235-16235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16234-16234

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1176-1189	如果强制选举法是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen 和实数年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是另一个实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数和选举是那个国家的 election 的 instance，然后有存在过程这样那个过程是那个选举的 voting 的 instance 和那个人类是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1211-1231	如果强制选举法是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen，然后那个国家的 regional 法律要求那个人类执行对所有实体，另一个实体， and 和第三实体如果那个人类是那个国家的 citizen 和那个实体年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实体年持续时间和那个另外实体是 greaterThanOrEqualTo 那个实体和那个第三实体是那个国家的 election 的 instance，然后有存在第四实体这样那个第四实体是那个第三实体的 voting 的 instance 和那个人类是那个第四实体的 agent 的任务
No TPTP formula. May not be expressible in strict first order.	Government.kif 1191-1209	如果强制选举法是地缘政治区域的 regional 法律的 subProposition，然后那个地缘政治区域的 regional 法律要求那个地缘政治区域执行对所有实体，另一个实体,，，第三实体， and 和第四实体如果那个实体是那个地缘政治区域的 citizen 和那个另外实体年持续时间是那个地缘政治区域的 suffrage 最小年纪和那个实体的 age 是那个第三实体年持续时间和那个第三实体是 greaterThanOrEqualTo 那个另外实体和那个第四实体是那个地缘政治区域的 election 的 instance，然后有存在第五实体这样那个第五实体是那个第四实体的 voting 的 instance 和那个实体是那个第五实体的 agent 的任务

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