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 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
(instance judge CaseRole) Law.kif 190-190 judge is an instance of case role

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