Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LegalDecision
LegalDecision(legal decision)
more pictures...
Bakke_decision, cognovit_judgement, cognovit_judgment, confession_of_judgement, confession_of_judgment, default_judgement, default_judgment, directed_verdict, dismissal, false_verdict, fatwah, final_decision, final_judgment, finding, general_verdict, judgement, judgement_by_default, judgement_in_personam, judgement_in_rem, judgement_of_dismissal, judgement_on_the_merits, judgement_on_the_pleadings, judgment, judgment_by_default, judgment_in_personam, judgment_in_rem, judgment_of_dismissal, judgment_on_the_merits, judgment_on_the_pleadings, judicial_decision, legal_opinion, non_pros, non_prosequitur, opinion, partial_verdict, personal_judgement, personal_judgment, quotient_verdict, special_verdict, summary_judgement, summary_judgment

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2964-2966
No TPTP formula. May not be expressible in strict first order. Merge.kif 10913-10915
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1721-1723
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3145-3145
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2973-2973
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3150-3150
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3149-3149
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3144-3144
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3147-3147
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3151-3151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3148-3148
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3152-3152
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3146-3146
No TPTP formula. May not be expressible in strict first order. Merge.kif 10911-10911 Legal decision is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Merge.kif 10910-10910 Legal decision is a subclass of judicial process

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17628-17628 Legal acquittal is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17583-17583 Legal award is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17601-17601 Legal conviction is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17605-17605 Legal dismissal is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17632-17632 Sentencing is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33832-33832 Sentencing is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33831-33831 Sentencing is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33830-33830 Sentencing is a subclass of legal decision

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10917-10922
No TPTP formula. May not be expressible in strict first order. Merge.kif 10924-10931

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Law.kif 300-311
No TPTP formula. May not be expressible in strict first order. Law.kif 324-334
No TPTP formula. May not be expressible in strict first order. Law.kif 470-477
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17475-17481
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17574-17581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22625-22631


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners