consequent

(=>     (instance ?JURY Jury)     (holdsRight ?JURY         (exists (?DECISION)             (and                 (instance ?DECISION LegalDecision)                 (agent ?DECISION ?JURY)))))	Mid-level-ontology.kif 17696-17702	If X is an instance of jury, then X has the right to perform %3
(=>     (instance ?OPINION LegalOpinion)     (exists (?DECISION ?TEXT ?FORM)         (and             (instance ?DECISION LegalDecision)             (result ?DECISION ?TEXT)             (containsFormula ?TEXT ?FORM)             (conclusion ?OPINION ?FORM))))	Mid-level-ontology.kif 17820-17827	If X is an instance of legal opinion, then there exist Y, Z, W such that Y is an instance of legal decision, Z is a result of Y, Z contains the formula W, and the conclusion of argument X is W
(=>     (occupiesPosition ?P JudgeAtLaw ?O)     (modalAttribute         (exists (?D)             (and                 (instance ?D LegalDecision)                 (agent ?D ?P))) Permission))	Mid-level-ontology.kif 23250-23256	If X holds the position of judge in Y, then the statement there exists Z such that Z is an instance of legal decision and X is an agent of Z has the modal force of permission
(=>     (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
(=>     (and         (prosecutor ?P ?A)         (defendant ?P ?D))     (desires ?A         (exists (?L)             (and                 (instance ?L LegalDecision)                 (refers ?L ?P)                 (not                     (wants ?D ?L))))))	Law.kif 299-309	If X is the prosecutor in Y and Z is the defendant in Y, then X desires there exists W such that W is an instance of legal decision, W includes a reference to Y, and Z doesn't want W
(=>     (counselInCase ?H ?A ?L)     (desires ?H         (exists (?LD)             (and                 (instance ?LD LegalDecision)                 (causes ?L ?LD)                 (benefits ?LD ?A)))))	Law.kif 445-452	If X is the counsel for Y in Z, then X desires there exists W such that W is an instance of legal decision, Z causes W, and Y is a beneficiary of W

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