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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - judge
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 The number 1 argument of judge is an instance of process
(domain judge 2 Human) Law.kif 237-237 The number 2 argument of judge is an instance of human
(instance judge CaseRole) Law.kif 233-233 judge is an instance of case role

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

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


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