RegionalLawFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RegionalLawFn

RegionalLawFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 885-889
No TPTP formula. May not be expressible in strict first order.	Government.kif 882-882	区域法的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 881-881	区域法是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 883-883	区域法的 range 是区域法的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2119-2119
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2118-2118
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2117-2117
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49220-49220
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49219-49219
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49218-49218

antecedent

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.	MilitaryProcesses.kif 2244-2252	如果过程是民政运作的 instance 和那个过程是 located 在地缘政治区域和那个地缘政治区域是国家的 instance 和命题是那个地缘政治区域的 regional 法律的 instance 和那个过程表示另一个命题的内容，然后那个另外命题是那个命题的 consistent
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 1267-1273	如果独家男性选举权是地缘政治区域的 regional 法律的 subProposition 和女是客体的 attribute 和那个客体是那个地缘政治区域的 resident 的 member 和选举是选举的 instance，然后那个客体不能够担当主事的角色做那个选举的 voting
No TPTP formula. May not be expressible in strict first order.	Government.kif 1250-1256	如果独家男性选举权是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen 和选举是那个国家的 election 的 instance 和那个人类能够担当主事的角色做那个选举的 voting ，然后男是那个人类的 attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 1258-1265	如果独家男性选举权是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen 和选举是那个国家的 election 的 instance 和过程是那个选举的 voting 的 instance 和那个人类是那个过程的 agent，然后男是那个人类的 attribute
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 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

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 1029-1038	如果地缘政治区域是地缘政治区域的 instance 和持续时间是那个地缘政治区域的 suffrage 最大年纪，然后有存在那个持续时间RULE 这样那个持续时间RULE 是选民年龄要求的 instance 和那个持续时间RULE 是那个地缘政治区域的 regional 法律的 subProposition 和那个持续时间是那个地缘政治区域的 suffrage 最大年纪 contains 那个持续时间RULE 的资料
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 917-921	如果地缘政治区域是地缘政治区域的 instance 和 %2 是 1% 的 government 类别，然后选民公民身份要求是那个地缘政治区域的 regional 法律的 subProposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 906-913	如果地缘政治区域是国家的 instance 和 %2 是 1% 的 government 类别，然后有存在命题这样那个命题是选举法的 instance 和那个命题是那个地缘政治区域的 regional 法律的 subProposition
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 935-940	如果地缘政治区域是国家的 instance，然后有存在命题这样那个命题是选民年龄要求的 instance 和那个命题是那个地缘政治区域的 regional 法律的 subProposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 891-893	如果法律制度属性是地缘政治区域 legal 系统，然后那个法律制度属性是那个地缘政治区域的 regional 法律的 attribute
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