JudicialOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(documentation JudicialOrganization ChineseLanguage "JudicialOrganization 是 Organization 的类别，它的主要宗旨是按照政府或其他组织的法规或条例作出判决。司法机构不一定是政府机构，举例说体育协会的相关组织。")	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 16821-16825
(externalImage JudicialOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Supreme_Court.jpg")	pictureList.kif 5035-5035
(subclass JudicialOrganization Organization)	Merge.kif 16820-16820	Judicial organization is a subclass of organization

appearance as argument number 2

(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3409-3409	International court of justice is an instance of judicial organization
(range JudiciaryFn JudicialOrganization)	Government.kif 2102-2102	The range of judiciary is an instance of judicial organization
(subclass AppealsCourt JudicialOrganization)	Government.kif 2160-2160	Appeals court is a subclass of judicial organization
(subclass ConstitutionalCourt JudicialOrganization)	Government.kif 2165-2165	Constitutional court is a subclass of judicial organization
(subclass IslamicLawCourt JudicialOrganization)	Government.kif 2123-2123	Islamic law court is a subclass of judicial organization
(subclass SupremeCourt JudicialOrganization)	Government.kif 2133-2133	Supreme court is a subclass of judicial organization
(termFormat ChineseLanguage JudicialOrganization "司法组织")	domainEnglishFormat.kif 31883-31883	Supreme court is a subclass of judicial organization
(termFormat ChineseTraditionalLanguage JudicialOrganization "司法組織")	domainEnglishFormat.kif 31882-31882	Supreme court is a subclass of judicial organization
(termFormat EnglishLanguage JudicialOrganization "judicial organization")	domainEnglishFormat.kif 31881-31881	Supreme court is a subclass of judicial organization

antecedent

(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))

Government.kif 2047-2052

consequent

(=> (and (instance ?PROCESS JudicialProcess) (agent ?PROCESS ?ORG) (instance ?ORG Organization)) (instance ?ORG JudicialOrganization))	Merge.kif 10843-10848	If a process is an instance of judicial process and an agent is an agent of the process and the agent is an instance of organization, then the agent is an instance of judicial organization
(=> (attribute ?PERSON JudgeAtLaw) (exists (?ORG) (and (instance ?ORG JudicialOrganization) (instance ?ORG GovernmentOrganization) (employs ?ORG ?PERSON))))	Mid-level-ontology.kif 22087-22093	If judge is an attribute of a cognitive agent, then there exists an agent such that the agent is an instance of judicial organization and the agent is an instance of government organization and the agent employs the cognitive agent
(=> (judicialBranch ?ORG ?AGENT) (instance ?ORG JudicialOrganization))	Government.kif 2070-2072	If an agent is a judicial branch of an organization, then the organization is an instance of judicial organization
(=> (occupiesPosition ?P JudgeAtLaw ?O) (instance ?O JudicialOrganization))	Mid-level-ontology.kif 22105-22107	If a human holds the position of judge in an organization, then the organization is an instance of judicial organization