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 196-200
(domain judge 1 Process) Law.kif 193-193 Le nombre 1 argument de judge est une instance de processus
(domain judge 2 Human) Law.kif 194-194 Le nombre 2 argument de judge est une instance de humain
(instance judge CaseRole) Law.kif 190-190 judge est une instance de r�le d�pendant du cas

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