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 10113-10115
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 2975-2975
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 3151-3151
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. pictureList.kif 3149-3149
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3153-3153
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 3154-3154
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. Merge.kif 10111-10111 Legal decision is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Merge.kif 10110-10110 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 12943-12943 Legal acquittal is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12898-12898 Legal award is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12916-12916 Legal conviction is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12920-12920 Legal dismissal is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12947-12947 Sentencing is a subclass of legal decision
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33804-33804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33803-33803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33802-33802

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10117-10122
No TPTP formula. May not be expressible in strict first order. Merge.kif 10124-10129

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


No TPTP formula. May not be expressible in strict first order. Law.kif 338-349
No TPTP formula. May not be expressible in strict first order. Law.kif 361-371
No TPTP formula. May not be expressible in strict first order. Law.kif 508-515
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12794-12800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12889-12896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17413-17419


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