judge - Sigma Knowledge base Browser

appearance as argument number 1

(instance judge CaseRole)	Law.kif 190-190	judge is an instance of case role
(domain judge 1 Process)	Law.kif 193-193	The number 1 argument of judge is an instance of process
(domain judge 2 Human)	Law.kif 194-194	The number 2 argument of judge is an instance of human
(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 196-200	The number 2 argument of judge is an instance of human

appearance as argument number 2

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

antecedent

(=>
    (judge ?P ?J)
    (exists (?O)
        (occupiesPosition ?J JudgeAtLaw ?O)))

If X is the judge in Y, then there exists Z such that X holds the position of judge in Z