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


KB Term:  Term intersection
English Word: 

  Jury

 Sigma KEE - Jury
Jury(jury)
grand_jury, hung_jury, jury

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


(subclass Jury GroupOfPeople) Mid-level-ontology.kif 17692-17692 Jury is a subclass of group of people
(documentation Jury EnglishLanguage "A GroupOfPeople who are given the duty of rendering a verdict with respect to a LegalAction.") Mid-level-ontology.kif 17693-17694 Jury is a subclass of group of people
(externalImage Jury "http://upload.wikimedia.org/wikipedia/commons/1/19/ Jury_duty.jpg") pictureList.kif 6645-6645 Jury is a subclass of group of people
(externalImage Jury "http://upload.wikimedia.org/wikipedia/commons/9/96/ Jury_box_cropped.jpg") pictureList.kif 7131-7131 Jury is a subclass of group of people
(externalImage Jury "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Wine_jury.jpg") pictureList.kif 7132-7132 Jury is a subclass of group of people

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


(termFormat EnglishLanguage Jury "jury") domainEnglishFormat.kif 31935-31935
(termFormat ChineseTraditionalLanguage Jury "陪審團") domainEnglishFormat.kif 31936-31936
(termFormat ChineseLanguage Jury "陪审团") domainEnglishFormat.kif 31937-31937

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


(=>
    (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


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