No TPTP formula. May not be expressible in strict first order. |
Government.kif 1118-1118 |
CompulsorySuffrageLaw est une instance de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1050-1050 |
UniversalSuffrageLaw est une instance de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 879-879 |
VoterCitizenshipRequirement est une instance de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1197-1197 |
RestrictedSuffrage est une sous-classe de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 897-897 |
VoterAgeRequirement est une sous-classe de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55947-55947 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55946-55946 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55945-55945 |
|