SupremeCourtFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SupremeCourtFn EnglishLanguage "(SupremeCourtFn ?AREA) denotes the class of the highest court(s) in the judicial system of GeopoliticalArea ?AREA. For example, the UnitedStatesSupremeCourt belongs to the class (SupremeCourtFn UnitedStates).")	Government.kif 2179-2182
(domain SupremeCourtFn 1 GeopoliticalArea)	Government.kif 2176-2176	最高法院的 1 数量是地缘政治区域的 instance
(instance SupremeCourtFn UnaryFunction)	Government.kif 2175-2175	最高法院是一元函数的 instance
(rangeSubclass SupremeCourtFn SupremeCourt)	Government.kif 2177-2177	最高法院的所得值是最高法院的 subclass

appearance as argument number 2

(format ChineseLanguage SupremeCourtFn "%1 的 supreme 法庭")	domainEnglishFormat.kif 2415-2415
(format ChineseTraditionalLanguage SupremeCourtFn "%1 的 supreme 法庭")	domainEnglishFormat.kif 2414-2414
(format EnglishLanguage SupremeCourtFn "the supreme court of %1")	domainEnglishFormat.kif 2413-2413
(termFormat ChineseLanguage SupremeCourtFn "最高法院")	domainEnglishFormat.kif 56254-56254
(termFormat ChineseTraditionalLanguage SupremeCourtFn "最高法院")	domainEnglishFormat.kif 56253-56253
(termFormat EnglishLanguage SupremeCourtFn "supreme court")	domainEnglishFormat.kif 56252-56252

antecedent

(=>
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY))
    (subOrganization ?COURT
        (JudiciaryFn ?COUNTRY)))

Government.kif 2184-2186

consequent

(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))

Government.kif 2188-2193