(subclass JudicialProcess PoliticalProcess) | Merge.kif 10771-10771 | |
(subclass LegalAppeal JudicialProcess) | Mid-level-ontology.kif 16120-16120 | |
(subclass LegalSummons JudicialProcess) | Mid-level-ontology.kif 16223-16223 | |
(subclass LegalDecision JudicialProcess) | Merge.kif 10787-10787 |