No TPTP formula. May not be expressible in strict first order. | Government.kif 1706-1706 | General election is a subclass of election |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1712-1712 | Popular election is a subclass of general election |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1720-1720 | Electoral college election is a subclass of general election |