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

KB Term:  Term intersection
English Word: 

Sigma KEE - JudgeAtLaw
JudgeAtLaw(judge)
Bench, chief_justice, judge, judgeship, judicature, jurist, justice, magistrate, ordinary, praetor, pretor, qadi, trial_judge, trier

appearance as argument number 1
-------------------------


(documentation JudgeAtLaw EnglishLanguage "JudgeAtLaw is the Position of a person who is a public official with the authority to decide legal matters in a governmental JudicialOrganization.") Mid-level-ontology.kif 23236-23238
(instance JudgeAtLaw GovernmentPosition) Mid-level-ontology.kif 23248-23248 Judge is an instance of government position
(externalImage JudgeAtLaw "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ American_judge.jpg") pictureList.kif 4911-4911 Judge is an instance of government position

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


(subAttribute SupremeCourtJudge JudgeAtLaw) Government.kif 2180-2180 Supreme court judge is a subattribute of judge
(termFormat EnglishLanguage JudgeAtLaw "judge") domainEnglishFormat.kif 31839-31839 Supreme court judge is a subattribute of judge
(termFormat ChineseTraditionalLanguage JudgeAtLaw "法官") domainEnglishFormat.kif 31840-31840 Supreme court judge is a subattribute of judge
(termFormat ChineseLanguage JudgeAtLaw "法官") domainEnglishFormat.kif 31841-31841 Supreme court judge is a subattribute of judge

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


(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))		 Mid-level-ontology.kif 23240-23246 If judge is an attribute of X, then there exists Y such that Y is an instance of judicial organization, Y is an instance of government organization, and Y employs X
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))		 Mid-level-ontology.kif 23250-23256 If X holds the position of judge in Y, then the statement there exists Z such that Z is an instance of legal decision and X is an agent of Z has the modal force of permission
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (instance ?O JudicialOrganization))		 Mid-level-ontology.kif 23258-23260 If X holds the position of judge in Y, then Y is an instance of judicial organization
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3458-3465 If X is a member of international court of justice and judge is an attribute of X, then there exists Y such that Y is an instance of geopolitical area and Y is representative agent to agent X for international court of justice

consequent
-------------------------


(=>
    (member ?AGENT InternationalCourtOfJustice)
    (and
        (instance ?AGENT Human)
        (attribute ?AGENT JudgeAtLaw)))		 Government.kif 3452-3456 If X is a member of international court of justice, then X is an instance of human and judge is an attribute of X
(=>
    (judge ?P ?J)
    (exists (?O)
        (occupiesPosition ?J JudgeAtLaw ?O)))		 Law.kif 202-205 If X is the judge in Y, then there exists Z such that X holds the position of judge in Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners