|
|
   IVTherapy
|
|
|
| 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 2137-2140 | |
| (externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Old_supreme_court_c_3.jpg") | pictureList.kif 5080-5080 | |
| (externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg") | pictureList.kif 5079-5079 | |
| (externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg") | pictureList.kif 4943-4943 | |
| (subclass SupremeCourt JudicialOrganization) | Government.kif 2135-2135 | SupremeCourt ist eine teilkategorie von JudicialOrganization |
| appearance as argument number 2 |
|
|
| (rangeSubclass SupremeCourtFn SupremeCourt) | Government.kif 2144-2144 | Die werte die SupremeCourtFn zurueckgibt sind teilkategorien von SupremeCourt |
| (termFormat ChineseLanguage SupremeCourt "最高法院") | domainEnglishFormat.kif 56271-56271 | |
| (termFormat ChineseTraditionalLanguage SupremeCourt "最高法院") | domainEnglishFormat.kif 56270-56270 | |
| (termFormat EnglishLanguage SupremeCourt "supreme court") | domainEnglishFormat.kif 56269-56269 |
| antecedent |
|
|
| (=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY))) |
Government.kif 2155-2160 |
|
| consequent |
|
|
| (=> (and (attribute ?PERSON SupremeCourtJudge) (employs ?ORG ?PERSON)) (instance ?ORG SupremeCourt)) |
Government.kif 2179-2183 |
|
|
|
|
