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 数量是选举的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1728-1728	表决是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1730-1730	表决的所得值是表决的 subclass

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	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最大年纪和那个另外施事体的 age 是另一个实数年持续时间，然后那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 1062-1073	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最大年纪，然后有存在另一个实数这样那个另外施事体的 age 是那个另外实数年持续时间和那个另外实数是 lessThanOrEqualTo 那个实数
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 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 1052-1060	如果实数年持续时间是施事体的 suffrage 最大年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting 和那个客体的 age 是另一个实数年持续时间，然后那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 1040-1050	如果实数年持续时间是施事体的 suffrage 最大年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting ，然后有存在另一个实数这样那个客体的 age 是那个另外实数年持续时间和那个另外实数是 lessThanOrEqualTo 那个实数
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 那个实数

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

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1248	对所有 ?AGENT， ?VOTER,，， ?ELECTION， and 和 ?VOTING 如果 ?ELECTION 是 ?AGENT 的 election 的 instance 和 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent，然后男是 ?VOTER 的 attribute contains 独家男性选举权的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 923-931	对所有 ?COUNTRY， ?ELECTION,，， ?VOTING， and 和 ?VOTER 如果 ?COUNTRY 是国家的 instance 和 ?ELECTION 是 ?COUNTRY 的 election 的 instance 和 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent，然后 ?VOTER 是 ?COUNTRY 的 citizen contains 选民公民身份要求的资料
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 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