TreeView Knowledge Base Browser - JudicialOrganization

appearance as argument number 1

(subclass JudicialOrganization GovernmentOrganization)	Merge.kif 17078-17078	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 17079-17083	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 2110-2110	The range of judiciary is an instance of judicial organization
(subclass IslamicLawCourt JudicialOrganization)	Government.kif 2131-2131	Islamic law court is a subclass of judicial organization
(subclass SupremeCourt JudicialOrganization)	Government.kif 2141-2141	Supreme court is a subclass of judicial organization
(subclass AppealsCourt JudicialOrganization)	Government.kif 2168-2168	Appeals court is a subclass of judicial organization
(subclass ConstitutionalCourt JudicialOrganization)	Government.kif 2173-2173	Constitutional court is a subclass of judicial organization
(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3439-3439	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 11027-11032	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 23240-23246	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 23258-23260	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 2079-2081	If X is a judicial branch of Y, then Y is an instance of judicial organization