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 2144-2147
(domain SupremeCourtFn 1 GeopoliticalArea)	Government.kif 2141-2141	The number 1 argument of supreme court is an instance of geopolitical area
(instance SupremeCourtFn UnaryFunction)	Government.kif 2140-2140	Supreme court is an instance of unary function
(rangeSubclass SupremeCourtFn SupremeCourt)	Government.kif 2142-2142	The values returned by supreme court are subclasses of supreme court

appearance as argument number 2

(format ChineseLanguage SupremeCourtFn "%1 的 supreme 法庭")	domainEnglishFormat.kif 2419-2419
(format ChineseTraditionalLanguage SupremeCourtFn "%1 的 supreme 法庭")	domainEnglishFormat.kif 2418-2418
(format EnglishLanguage SupremeCourtFn "the supreme court of %1")	domainEnglishFormat.kif 2417-2417
(termFormat ChineseLanguage SupremeCourtFn "最高法院")	domainEnglishFormat.kif 56308-56308
(termFormat ChineseTraditionalLanguage SupremeCourtFn "最高法院")	domainEnglishFormat.kif 56307-56307
(termFormat EnglishLanguage SupremeCourtFn "supreme court")	domainEnglishFormat.kif 56306-56306

antecedent

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

Government.kif 2149-2151

consequent

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

Government.kif 2153-2158