UniversalSuffrageLaw |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1056-1067 | ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1052-1054 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1050-1050 | UniversalSuffrageLaw e' uma instancia de SuffrageLaw |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60454-60454 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60453-60453 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60452-60452 |
antecedent |