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

KB Term:  Term intersection
English Word: 

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