No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10551-10551 | Election is a subclass of organizational process |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1706-1706 | General election is a subclass of election |