| No TPTP formula. May not be expressible in strict first order. | Government.kif 1335-1335 | Coronation e' uma sub-classe de Ceremony |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1336-1336 | Coronation e' uma sub-classe de Appointing |
|
|