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 16900-16904
(externalImage JudicialOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Supreme_Court.jpg")	pictureList.kif 5035-5035
(subclass JudicialOrganization GovernmentOrganization)	Merge.kif 16899-16899	JudicialOrganization est une sous-classe de GovernmentOrganization

appearance as argument number 2

(instance InternationalCourtOfJustice JudicialOrganization)	Government.kif 3408-3408	InternationalCourtOfJustice est une instance de JudicialOrganization
(range JudiciaryFn JudicialOrganization)	Government.kif 2101-2101	Le domaine de JudiciaryFn est une instance de JudicialOrganization
(subclass AppealsCourt JudicialOrganization)	Government.kif 2159-2159	AppealsCourt est une sous-classe de JudicialOrganization
(subclass ConstitutionalCourt JudicialOrganization)	Government.kif 2164-2164	ConstitutionalCourt est une sous-classe de JudicialOrganization
(subclass IslamicLawCourt JudicialOrganization)	Government.kif 2122-2122	IslamicLawCourt est une sous-classe de JudicialOrganization
(subclass SupremeCourt JudicialOrganization)	Government.kif 2132-2132	SupremeCourt est une sous-classe de JudicialOrganization
(termFormat ChineseLanguage JudicialOrganization "司法组织")	domainEnglishFormat.kif 31866-31866	SupremeCourt est une sous-classe de JudicialOrganization
(termFormat ChineseTraditionalLanguage JudicialOrganization "司法組織")	domainEnglishFormat.kif 31865-31865	SupremeCourt est une sous-classe de JudicialOrganization
(termFormat EnglishLanguage JudicialOrganization "judicial organization")	domainEnglishFormat.kif 31864-31864	SupremeCourt est une sous-classe de JudicialOrganization

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 10918-10923	Processus est une instance de JudicialProcess processus est un agent de AutonomousAgent AutonomousAgent est une instance de organisation AutonomousAgent est une instance de JudicialOrganization
(=> (attribute ?PERSON JudgeAtLaw) (exists (?ORG) (and (instance ?ORG JudicialOrganization) (instance ?ORG GovernmentOrganization) (employs ?ORG ?PERSON))))	Mid-level-ontology.kif 22615-22621	JudgeAtLaw est un attribut de agent cognitif AutonomousAgent AutonomousAgent est une instance de JudicialOrganization AutonomousAgent est une instance de GovernmentOrganization AutonomousAgent emploie agent cognitif
(=> (judicialBranch ?ORG ?AGENT) (instance ?ORG JudicialOrganization))	Government.kif 2070-2072	judicialBranch organisation and AutonomousAgent organisation est une instance de JudicialOrganization
(=> (occupiesPosition ?P JudgeAtLaw ?O) (instance ?O JudicialOrganization))	Mid-level-ontology.kif 22633-22635	Humain occupe la position de JudgeAtLaw organisation organisation est une instance de JudicialOrganization