No TPTP formula. May not be expressible in strict first order. |
Government.kif 1154-1154 |
CompulsorySuffrageLaw e' uma instancia de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1086-1086 |
UniversalSuffrageLaw e' uma instancia de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 915-915 |
VoterCitizenshipRequirement e' uma instancia de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1233-1233 |
RestrictedSuffrage e' uma sub-classe de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 933-933 |
VoterAgeRequirement e' uma sub-classe de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55945-55945 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55944-55944 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55943-55943 |
|