VotingFn
|
|
Sigma KEE - VotingFn
appearance as argument number 1
|
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1694-1695 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1691-1691 |
The number 1 argument of voting is an instance of election |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1690-1690 |
Voting is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1692-1692 |
The values returned by voting are subclasses of voting |
appearance as argument number 2
|
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2603-2603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2602-2602 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2601-2601 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61983-61983 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61982-61982 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61981-61981 |
|
antecedent
|
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1037-1046 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1024-1035 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 965-974 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 952-963 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1212-1218 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1220-1227 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1014-1022 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1002-1012 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 942-950 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 930-940 |
|
consequent
|
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1094-1114 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1138-1151 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1173-1193 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1229-1235 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1082-1092 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1153-1171 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1068-1080 |
|
statement
|
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1203-1210 |
For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 885-893 |
For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1054-1065 |
For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1122-1136 |
For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law |
 |
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|