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


KB Term:  Term intersection
English Word: 

  JudgeAtLaw

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