Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - judge

appearance as argument number 1

(documentation judge EnglishLanguage "A CaseRole that relates the JudgeAtLaw in a case to a legal action. Note that this is not solely a LegalAction because a JudgeAtLaw presides over Pleadings and many other sorts of actions. Also note that just because someone is a JudgeAtLaw doesn't mean that they are always the judge in an action, for example if a judge is on trial for corruption.") Law.kif 239-243
(domain judge 1 Process) Law.kif 236-236
(domain judge 2 Human) Law.kif 237-237
(instance judge CaseRole) Law.kif 233-233

appearance as argument number 2

(format EnglishLanguage judge "%2 is the judge in %1") Law.kif 235-235
(termFormat EnglishLanguage judge "judge") Law.kif 234-234


    (judge ?P ?J)
    (exists (?O)
        (occupiesPosition ?J JudgeAtLaw ?O)))
Law.kif 245-248

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