No TPTP formula. May not be expressible in strict first order. | Merge.kif 10771-10771 | Judicial process is a subclass of political process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16120-16120 | Legal appeal is a subclass of judicial process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16223-16223 | Legal summons is a subclass of judicial process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10787-10787 | Legal decision is a subclass of judicial process |