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

Formal Language: 



KB Term:  Term intersection
English Word: 

  judge

 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 196-200
(domain judge 1 Process) Law.kif 193-193 Die Zahl 1 Argument von judge ist ein fall von Process %n{nicht}
(domain judge 2 Human) Law.kif 194-194 Die Zahl 2 Argument von judge ist ein fall von Human %n{nicht}
(instance judge CaseRole) Law.kif 190-190 judge ist ein fall von CaseRole %n{nicht}

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


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

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


(=>
    (judge ?P ?J)
    (exists (?O)
        (occupiesPosition ?J JudgeAtLaw ?O)))		 Law.kif 202-205


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 is open source software produced by Articulate Software and its partners