No TPTP formula. May not be expressible in strict first order. | Merge.kif 10793-10793 | Judicial process is a subclass of political process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16119-16119 | Legal appeal is a subclass of judicial process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16222-16222 | Legal summons is a subclass of judicial process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10809-10809 | Legal decision is a subclass of judicial process |