| (subclass LegalDecision JudicialProcess) | Merge.kif 10787-10787 | LegalDecision は JudicialProcess の subclass では %n |
| (subclass LegalDecision Declaring) | Merge.kif 10788-10788 | LegalDecision は declaring の subclass では %n |
| (subclass LegalAward LegalDecision) | Mid-level-ontology.kif 16196-16196 | LegalAward は LegalDecision の subclass では %n |
| (subclass LegalConviction LegalDecision) | Mid-level-ontology.kif 16214-16214 | LegalConviction は LegalDecision の subclass では %n |
| (subclass LegalDismissal LegalDecision) | Mid-level-ontology.kif 16218-16218 | LegalDismissal は LegalDecision の subclass では %n |
| (subclass LegalAcquittal LegalDecision) | Mid-level-ontology.kif 16241-16241 | LegalAcquittal は LegalDecision の subclass では %n |
| (subclass Sentencing LegalDecision) | Mid-level-ontology.kif 16245-16245 | Sentencing は LegalDecision の subclass では %n |
|
|