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 2142-2145
(domain SupremeCourtFn 1 GeopoliticalArea)	Government.kif 2139-2139	SupremeCourtFn 的 1 数量是地缘政治区域的 instance
(instance SupremeCourtFn UnaryFunction)	Government.kif 2138-2138	SupremeCourtFn 是一元函数的 instance
(rangeSubclass SupremeCourtFn SupremeCourt)	Government.kif 2140-2140	SupremeCourtFn 的所得值是 SupremeCourt 的 subclass

appearance as argument number 2

(format EnglishLanguage SupremeCourtFn "the supreme court of %1")	domainEnglishFormat.kif 611-611
(termFormat EnglishLanguage SupremeCourtFn "supreme court")	domainEnglishFormat.kif 9804-9804	termFormat EnglishLanguage, SupremeCourtFn and "supreme court"

antecedent

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

Government.kif 2147-2149

consequent

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

Government.kif 2151-2156