SupremeCourt - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SupremeCourt JudicialOrganization)	Government.kif 2141-2141	Supreme court is a subclass of judicial organization
(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 2143-2146	Supreme court is a subclass of judicial organization
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg")	pictureList.kif 4942-4942	Supreme court is a subclass of judicial organization
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg")	pictureList.kif 5078-5078	Supreme court is a subclass of judicial organization
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Old_supreme_court_c_3.jpg")	pictureList.kif 5079-5079	Supreme court is a subclass of judicial organization

appearance as argument number 2

(rangeSubclass SupremeCourtFn SupremeCourt)	Government.kif 2150-2150	The values returned by supreme court are subclasses of supreme court
(termFormat EnglishLanguage SupremeCourt "supreme court")	domainEnglishFormat.kif 56264-56264	The values returned by supreme court are subclasses of supreme court
(termFormat ChineseTraditionalLanguage SupremeCourt "最高法院")	domainEnglishFormat.kif 56265-56265	The values returned by supreme court are subclasses of supreme court
(termFormat ChineseLanguage SupremeCourt "最高法院")	domainEnglishFormat.kif 56266-56266	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)))

If X is an instance of supreme court, X is a part of the organization the government of Y, and Y is an instance of nation, then X is an instance of the supreme court of Y

consequent

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