suffrageAgeMinimum |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 906-908 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 910-910 | The number 1 argument of suffrage age minimum is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 911-911 | The number 2 argument of suffrage age minimum is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 904-904 | suffrage age minimum is an instance of binary predicate |
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 |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1054-1065 | For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1122-1136 | For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
![]() |
![]() |