Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectionFn

Sigma KEE - ElectionFn
ElectionFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1688-1690
No TPTP formula. May not be expressible in strict first order. Government.kif 1685-1685 选举 的 1 数量 是 施事体instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1684-1684 选举一元函数instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1686-1686 选举 的所得值 是 选举subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 844-844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 843-843
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 842-842
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21420-21420
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21419-21419
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21418-21418

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1700-1704
No TPTP formula. May not be expressible in strict first order. Government.kif 1692-1698
No TPTP formula. May not be expressible in strict first order. Government.kif 1075-1084
No TPTP formula. May not be expressible in strict first order. Government.kif 1062-1073
No TPTP formula. May not be expressible in strict first order. Government.kif 1003-1012
No TPTP formula. May not be expressible in strict first order. Government.kif 990-1001
No TPTP formula. May not be expressible in strict first order. Government.kif 1176-1189
No TPTP formula. May not be expressible in strict first order. Government.kif 1250-1256
No TPTP formula. May not be expressible in strict first order. Government.kif 1258-1265
No TPTP formula. May not be expressible in strict first order. Government.kif 1120-1130
No TPTP formula. May not be expressible in strict first order. Government.kif 1052-1060
No TPTP formula. May not be expressible in strict first order. Government.kif 1040-1050
No TPTP formula. May not be expressible in strict first order. Government.kif 980-988
No TPTP formula. May not be expressible in strict first order. Government.kif 968-978

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1132-1152
No TPTP formula. May not be expressible in strict first order. Government.kif 1211-1231
No TPTP formula. May not be expressible in strict first order. Government.kif 1191-1209
No TPTP formula. May not be expressible in strict first order. Government.kif 1106-1118

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1241-1248 对所有 ?AGENT, ?VOTER,, , ?ELECTION, and 和 ?VOTING contains 独家男性选举权 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 923-931 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER contains 选民公民身份要求 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1092-1103 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 普选法 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE 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