consequent

(=>     (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
(=>     (instance ?JURY Jury)     (holdsRight         (exists (?DECISION)             (and                 (instance ?DECISION LegalDecision)                 (agent ?DECISION ?JURY))) ?JURY))	Mid-level-ontology.kif 17603-17609	If X is an instance of jury, then X has the right to perform there exists Y such that Y is an instance of legal decision and X is an agent of Y
(=>     (instance ?OPINION LegalOpinion)     (exists (?DECISION ?TEXT ?PROPOSITION)         (and             (instance ?DECISION LegalDecision)             (result ?DECISION ?TEXT)             (containsInformation ?TEXT ?PROPOSITION)             (conclusion ?PROPOSITION ?OPINION))))	Mid-level-ontology.kif 17727-17734	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 information W, and the conclusion of argument W is X
(=>     (occupiesPosition ?P JudgeAtLaw ?O)     (modalAttribute         (exists (?D)             (and                 (instance ?D LegalDecision)                 (agent ?D ?P))) Permission))	Mid-level-ontology.kif 23287-23293	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

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