Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JudgeAtLaw
JudgeAtLaw

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 21021-21023
(externalImage JudgeAtLaw "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ American_judge.jpg") pictureList.kif 4912-4912
(instance JudgeAtLaw GovernmentPosition) Mid-level-ontology.kif 21033-21033

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


(subAttribute SupremeCourtJudge JudgeAtLaw) Government.kif 2174-2174
(termFormat ChineseLanguage JudgeAtLaw "法官") domainEnglishFormat.kif 31837-31837
(termFormat ChineseTraditionalLanguage JudgeAtLaw "法官") domainEnglishFormat.kif 31836-31836
(termFormat EnglishLanguage JudgeAtLaw "judge") domainEnglishFormat.kif 31835-31835

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


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3430-3437
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 21025-21031
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (instance ?O JudicialOrganization))
Mid-level-ontology.kif 21043-21045
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))
Mid-level-ontology.kif 21035-21041

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


(=>
    (judge ?P ?J)
    (exists (?O)
        (occupiesPosition ?J JudgeAtLaw ?O)))
Law.kif 202-205
(=>
    (member ?AGENT InternationalCourtOfJustice)
    (and
        (instance ?AGENT Human)
        (attribute ?AGENT JudgeAtLaw)))
Government.kif 3424-3428


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