TreeView Knowledge Base Browser - suffrageAgeMinimum

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

suffrageAgeMinimum

Sigma KEE - suffrageAgeMinimum

suffrageAgeMinimum

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 944-946
No TPTP formula. May not be expressible in strict first order.	Government.kif 948-948	最低年龄的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 949-949	最低年龄的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 942-942	最低年龄是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2411-2411
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2410-2410
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2409-2409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55939-55939
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55938-55938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55937-55937

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 957-966	如果地缘政治区域是地缘政治区域的 instance 和持续时间是那个地缘政治区域的 suffrage 最小年纪，然后有存在那个持续时间RULE 这样那个持续时间RULE 是选民年龄要求的 instance 和那个持续时间RULE 是那个地缘政治区域的 regional 法律的 subProposition 和那个持续时间是那个地缘政治区域的 suffrage 最小年纪 contains 那个持续时间RULE 的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 1003-1012	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最小年纪和那个另外施事体的 age 是另一个实数年持续时间，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 990-1001	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最小年纪，然后有存在另一个实数这样那个另外施事体的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数
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 1120-1130	如果普选法是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen 和实数年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是另一个实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数和选举是那个国家的 election 的 instance，然后那个人类能够担当主事的角色做那个选举的 voting
No TPTP formula. May not be expressible in strict first order.	Government.kif 980-988	如果实数年持续时间是施事体的 suffrage 最小年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting 和那个客体的 age 是另一个实数年持续时间，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 968-978	如果实数年持续时间是施事体的 suffrage 最小年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting ，然后有存在另一个实数这样那个客体的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 951-955	如果持续时间是那个持续时间NT 的 suffrage 最小年纪，然后那个持续时间NT 是机构的 instance 或那个持续时间NT 是地缘政治区域的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	如果人类是国家的 citizen 和普选法是那个国家的 regional 法律的 subProposition，然后那个国家的 regional 法律允许那个人类执行对所有实体，另一个实体， and 和第三实体如果那个人类是那个国家的 citizen 和那个实体年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实体年持续时间和那个另外实体是 greaterThanOrEqualTo 那个实体和那个第三实体是那个国家的 election 的 instance，然后有存在第四实体这样那个第四实体是那个第三实体的 voting 的 instance 和那个人类是那个第四实体的 agent 的任务
No TPTP formula. May not be expressible in strict first order.	Government.kif 957-966	如果地缘政治区域是地缘政治区域的 instance 和持续时间是那个地缘政治区域的 suffrage 最小年纪，然后有存在那个持续时间RULE 这样那个持续时间RULE 是选民年龄要求的 instance 和那个持续时间RULE 是那个地缘政治区域的 regional 法律的 subProposition 和那个持续时间是那个地缘政治区域的 suffrage 最小年纪 contains 那个持续时间RULE 的资料
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 的任务
No TPTP formula. May not be expressible in strict first order.	Government.kif 1106-1118	如果普选法是国家的 regional 法律的 subProposition，然后对所有人类，选举,，，实数， and 和另一个实数如果那个人类是那个国家的 citizen 和那个实数年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数和那个选举是那个国家的 election 的 instance，然后那个人类能够担当主事的角色做那个选举的 voting

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	对所有 ?POLITY， ?AGENT,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?AGENT 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?AGENT 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后 ?AGENT 能够担当主事的角色做 ?ELECTION 的 voting contains 普选法的资料
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 强制选举法的资料

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