![]() |
![]() ![]() ![]()
|
![]() |
|
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 2134-2137 | |
(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 2132-2132 | 最高法院 是 司法组织 的 subclass |
appearance as argument number 2 |
![]() |
(rangeSubclass SupremeCourtFn SupremeCourt) | Government.kif 2141-2141 | 最高法院 的所得值 是 最高法院 的 subclass |
(termFormat ChineseLanguage SupremeCourt "最高法院") | domainEnglishFormat.kif 56273-56273 | 最高法院 的所得值 是 最高法院 的 subclass |
(termFormat ChineseTraditionalLanguage SupremeCourt "最高法院") | domainEnglishFormat.kif 56272-56272 | 最高法院 的所得值 是 最高法院 的 subclass |
(termFormat EnglishLanguage SupremeCourt "supreme court") | domainEnglishFormat.kif 56271-56271 | 最高法院 的所得值 是 最高法院 的 subclass |
antecedent |
![]() |
(=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY))) |
Government.kif 2152-2157 |
consequent |
![]() |
(=> (and (attribute ?PERSON SupremeCourtJudge) (employs ?ORG ?PERSON)) (instance ?ORG SupremeCourt)) |
Government.kif 2176-2180 |
![]() |
![]() |