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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defenseLawyer

Sigma KEE - defenseLawyer
defenseLawyer

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


(documentation defenseLawyer EnglishLanguage "The representative of the defendant in a criminal case or the respondant in a civil one. The goal of the defense is to prevent or reduce any punishment imposed on the client as a result of the case.") Law.kif 325-328
(domain defenseLawyer 1 LegalAction) Law.kif 321-321
(instance defenseLawyer CaseRole) Law.kif 319-319
(subrelation defenseLawyer patient) Law.kif 320-320

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


(format EnglishLanguage defenseLawyer "%2 is the defense lawyer in %1") Law.kif 323-323
(termFormat EnglishLanguage defenseLawyer "defense lawyer") Law.kif 322-322

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


(=>
    (and
        (defenseLawyer ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (not
            (exists (?L)
                (and
                    (instance ?L LegalDecision)
                    (refers ?L ?P)
                    (not
                        (wants ?D ?L)))))))
Law.kif 334-345
(=>
    (defenseLawyer ?P ?A)
    (attribute ?A Lawyer))
Law.kif 330-332


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners