Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 23302-23304
(instance JudgeAtLaw GovernmentPosition) Mid-level-ontology.kif 23314-23314 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 2171-2171 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 23306-23312 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 23316-23322 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 23324-23326 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 3447-3454 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 3441-3445 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 is open source software produced by Articulate Software and its partners