suffrageAgeMinimum
|
|
Sigma KEE - suffrageAgeMinimum
appearance as argument number 1
|
|
appearance as argument number 2
|
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2415-2415 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2414-2414 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2413-2413 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55943-55943 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55942-55942 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55941-55941 |
|
antecedent
|
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 919-928 |
|
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 1138-1151 |
|
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 942-950 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 930-940 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 913-917 |
|
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 919-928 |
|
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 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 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)
|