SupremeCourt - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SupremeCourt EnglishLanguage "SupremeCourt is the subclass of JudicialOrganizations that are the ultimate judicial authority for the matters on which they rule. For example, the UnitedStatesSupremeCourt, or the InternationalCourtOfJustice (World Court).")	Government.kif 2135-2138
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Old_supreme_court_c_3.jpg")	pictureList.kif 5079-5079
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg")	pictureList.kif 5078-5078
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg")	pictureList.kif 4942-4942
(subclass SupremeCourt JudicialOrganization)	Government.kif 2133-2133	Supreme court is a subclass of judicial organization

appearance as argument number 2

(rangeSubclass SupremeCourtFn SupremeCourt)	Government.kif 2142-2142	The values returned by supreme court are subclasses of supreme court
(termFormat ChineseLanguage SupremeCourt "最高法院")	domainEnglishFormat.kif 56302-56302	The values returned by supreme court are subclasses of supreme court
(termFormat ChineseTraditionalLanguage SupremeCourt "最高法院")	domainEnglishFormat.kif 56301-56301	The values returned by supreme court are subclasses of supreme court
(termFormat EnglishLanguage SupremeCourt "supreme court")	domainEnglishFormat.kif 56300-56300	The values returned by supreme court are subclasses of supreme court

antecedent

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

Government.kif 2153-2158

consequent

(=>
    (and
        (attribute ?PERSON SupremeCourtJudge)
        (employs ?ORG ?PERSON))
    (instance ?ORG SupremeCourt))

Government.kif 2177-2181