| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10787-10787 | LegalDecision e' uma sub-classe de JudicialProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10788-10788 | LegalDecision e' uma sub-classe de Declarar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16196-16196 | LegalAward e' uma sub-classe de LegalDecision |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16214-16214 | LegalConviction e' uma sub-classe de LegalDecision |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16218-16218 | LegalDismissal e' uma sub-classe de LegalDecision |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16241-16241 | LegalAcquittal e' uma sub-classe de LegalDecision |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16245-16245 | Sentencing e' uma sub-classe de LegalDecision |
|
|