Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  defenseLawyer

 Sigma KEE - defenseLawyer
defenseLawyer

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


(instance defenseLawyer CaseRole) Law.kif 259-259 defense lawyer is an instance of case role
(subrelation defenseLawyer patient) Law.kif 260-260 defense lawyer is a subrelation of patient
(domain defenseLawyer 1 LegalAction) Law.kif 261-261 The number 1 argument of defense lawyer is an instance of legal action
(domain defenseLawyer 2 Entity) Law.kif 262-262 The number 2 argument of defense lawyer is an instance of entity
(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 266-269 The number 2 argument of defense lawyer is an instance of entity

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


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

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


(=>
    (defenseLawyer ?P ?A)
    (attribute ?A Lawyer))		 Law.kif 271-273 If X is the defense lawyer in Y, then lawyer is an attribute of X
(=>
    (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 275-286 If X is the defense lawyer in Y and Z is the defendant in Y, then X desires there doesn't exist W such that W is an instance of legal decision, W includes a reference to Y, and Z doesn't want W


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners