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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JudicialOrganization
JudicialOrganization(judicial organization)
appeal_board, appeals_board, bench, board_of_appeals, federal_court, judicatory, judicature, judicial_branch, judicial_system, judiciary

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


(documentation JudicialOrganization ChineseLanguage "JudicialOrganizationOrganization 的类别,它的主要宗旨是按照政府或其他组织的法规或条例作出判决。司法机构不一定是政府机构, 举例说体育协会的相关组织。") chinese_format.kif 3744-3746
(documentation JudicialOrganization EnglishLanguage "JudicialOrganization is the class of Organizations whose primary purpose is to render judgments according to the statutes or regulations of a government or other organization. Judicial bodies are not necessarily government organizations, for example, those associated with sporting associations.") Merge.kif 16725-16729
(externalImage JudicialOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Supreme_Court.jpg") pictureList.kif 5036-5036
(subclass JudicialOrganization Organization) Merge.kif 16724-16724 Judicial organization is a subclass of organization

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


(instance InternationalCourtOfJustice JudicialOrganization) Government.kif 3447-3447 International court of justice is an instance of judicial organization
(range JudiciaryFn JudicialOrganization) Government.kif 2140-2140 The range of judiciary is an instance of judicial organization
(subclass AppealsCourt JudicialOrganization) Government.kif 2198-2198 Appeals court is a subclass of judicial organization
(subclass ConstitutionalCourt JudicialOrganization) Government.kif 2203-2203 Constitutional court is a subclass of judicial organization
(subclass IslamicLawCourt JudicialOrganization) Government.kif 2161-2161 Islamic law court is a subclass of judicial organization
(subclass SupremeCourt JudicialOrganization) Government.kif 2171-2171 Supreme court is a subclass of judicial organization
(termFormat ChineseLanguage JudicialOrganization "司法组织") domainEnglishFormat.kif 31855-31855
(termFormat ChineseTraditionalLanguage JudicialOrganization "司法組織") domainEnglishFormat.kif 31854-31854
(termFormat EnglishLanguage JudicialOrganization "judicial organization") domainEnglishFormat.kif 31853-31853

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


(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2085-2090

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


(=>
    (and
        (instance ?PROCESS JudicialProcess)
        (agent ?PROCESS ?ORG)
        (instance ?ORG Organization))
    (instance ?ORG JudicialOrganization))
Merge.kif 10780-10785
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 20998-21004
(=>
    (judicialBranch ?ORG ?AGENT)
    (instance ?ORG JudicialOrganization))
Government.kif 2108-2110
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (instance ?O JudicialOrganization))
Mid-level-ontology.kif 21016-21018


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