|
|
   SupremeCourt
|
|
|
| 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 2133-2136 | |
| (externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Old_supreme_court_c_3.jpg") | pictureList.kif 5081-5081 | |
| (externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg") | pictureList.kif 5080-5080 | |
| (externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg") | pictureList.kif 4944-4944 | |
| (subclass SupremeCourt JudicialOrganization) | Government.kif 2131-2131 |
| appearance as argument number 2 |
|
|
| (rangeSubclass SupremeCourtFn SupremeCourt) | Government.kif 2140-2140 | |
| (termFormat EnglishLanguage SupremeCourt "supreme court") | domainEnglishFormat.kif 9803-9803 |
| antecedent |
|
|
| (=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY))) |
Government.kif 2151-2156 |
| consequent |
|
|
| (=> (and (attribute ?PERSON SupremeCourtJudge) (employs ?ORG ?PERSON)) (instance ?ORG SupremeCourt)) |
Government.kif 2175-2179 |
|
|
|
