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 16796-16800
(externalImage JudicialOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Supreme_Court.jpg")	pictureList.kif 5036-5036
(subclass JudicialOrganization Organization)	Merge.kif 16795-16795	Judicial organization is a subclass of organization

appearance as argument number 2

(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3411-3411	International court of justice is an instance of judicial organization
(range JudiciaryFn JudicialOrganization)	Government.kif 2104-2104	The range of judiciary is an instance of judicial organization
(subclass AppealsCourt JudicialOrganization)	Government.kif 2162-2162	Appeals court is a subclass of judicial organization
(subclass ConstitutionalCourt JudicialOrganization)	Government.kif 2167-2167	Constitutional court is a subclass of judicial organization
(subclass IslamicLawCourt JudicialOrganization)	Government.kif 2125-2125	Islamic law court is a subclass of judicial organization
(subclass SupremeCourt JudicialOrganization)	Government.kif 2135-2135	Supreme court is a subclass of judicial organization
(termFormat ChineseLanguage JudicialOrganization "司法组织")	domainEnglishFormat.kif 31889-31889	Supreme court is a subclass of judicial organization
(termFormat ChineseTraditionalLanguage JudicialOrganization "司法組織")	domainEnglishFormat.kif 31888-31888	Supreme court is a subclass of judicial organization
(termFormat EnglishLanguage JudicialOrganization "judicial organization")	domainEnglishFormat.kif 31887-31887	Supreme court is a subclass of judicial organization

antecedent

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

Government.kif 2049-2054

consequent

(=> (and (instance ?PROCESS JudicialProcess) (agent ?PROCESS ?ORG) (instance ?ORG Organization)) (instance ?ORG JudicialOrganization))	Merge.kif 10814-10819	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 21256-21262	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 2072-2074	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 21274-21276	If a human holds the position of judge in an organization, then the organization is an instance of judicial organization