TreeView 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 2146-2149
(domain SupremeCourtFn 1 GeopoliticalArea)	Government.kif 2143-2143	SupremeCourtFn の数値 1 引数は地政学的地域の instance では %n
(instance SupremeCourtFn UnaryFunction)	Government.kif 2142-2142	SupremeCourtFn は 1変数関数の instance では %n
(rangeSubclass SupremeCourtFn SupremeCourt)	Government.kif 2144-2144	SupremeCourtFn が返す値は SupremeCourt の subclasses では %n

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 56277-56277
(termFormat ChineseTraditionalLanguage SupremeCourtFn "最高法院")	domainEnglishFormat.kif 56276-56276
(termFormat EnglishLanguage SupremeCourtFn "supreme court")	domainEnglishFormat.kif 56275-56275

antecedent

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

Government.kif 2151-2153

consequent

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

Government.kif 2155-2160