JudicialOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(subclass JudicialOrganization GovernmentOrganization)	Merge.kif 16921-16921	Judicial organization is a subclass of government organization
(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 16922-16926	Judicial organization is a subclass of government organization
(externalImage JudicialOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Supreme_Court.jpg")	pictureList.kif 5035-5035	Judicial organization is a subclass of government organization

appearance as argument number 2

(range JudiciaryFn JudicialOrganization)	Government.kif 2101-2101	The range of judiciary is an instance of judicial organization
(subclass IslamicLawCourt JudicialOrganization)	Government.kif 2122-2122	Islamic law court is a subclass of judicial organization
(subclass SupremeCourt JudicialOrganization)	Government.kif 2132-2132	Supreme court is a subclass of judicial organization
(subclass AppealsCourt JudicialOrganization)	Government.kif 2159-2159	Appeals court is a subclass of judicial organization
(subclass ConstitutionalCourt JudicialOrganization)	Government.kif 2164-2164	Constitutional court is a subclass of judicial organization
(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3428-3428	International court of justice is an instance of judicial organization
(termFormat EnglishLanguage JudicialOrganization "judicial organization")	domainEnglishFormat.kif 31857-31857	International court of justice is an instance of judicial organization
(termFormat ChineseTraditionalLanguage JudicialOrganization "司法組織")	domainEnglishFormat.kif 31858-31858	International court of justice is an instance of judicial organization
(termFormat ChineseLanguage JudicialOrganization "司法组织")	domainEnglishFormat.kif 31859-31859	International court of justice is an instance of judicial organization

antecedent

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

consequent

(=> (and (instance ?PROCESS JudicialProcess) (agent ?PROCESS ?ORG) (instance ?ORG Organization)) (instance ?ORG JudicialOrganization))	Merge.kif 10938-10943	If X is an instance of judicial process, Y is an agent of X, and Y is an instance of organization, then Y 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 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) (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
(=> (judicialBranch ?ORG ?AGENT) (instance ?ORG JudicialOrganization))	Government.kif 2070-2072	If X is a judicial branch of Y, then Y is an instance of judicial organization