SupremeCourtFn |
appearance as argument number 1 |
(documentation SupremeCourtFn EnglishLanguage "(SupremeCourtFn ?AREA) denotes the class of the highest court(s) in the judicial system of GeopoliticalArea ?AREA. For example, the UnitedStatesSupremeCourt belongs to the class (SupremeCourtFn UnitedStates).") | Government.kif 2146-2149 | |
(domain SupremeCourtFn 1 GeopoliticalArea) | Government.kif 2143-2143 | |
(instance SupremeCourtFn UnaryFunction) | Government.kif 2142-2142 | |
(rangeSubclass SupremeCourtFn SupremeCourt) | Government.kif 2144-2144 |
appearance as argument number 2 |
(format ChineseLanguage SupremeCourtFn "%1 的 supreme 法庭") | domainEnglishFormat.kif 2415-2415 | |
(format ChineseTraditionalLanguage SupremeCourtFn "%1 的 supreme 法庭") | domainEnglishFormat.kif 2414-2414 | |
(format EnglishLanguage SupremeCourtFn "the supreme court of %1") | domainEnglishFormat.kif 2413-2413 | |
(termFormat ChineseLanguage SupremeCourtFn "最高法院") | domainEnglishFormat.kif 56277-56277 | |
(termFormat ChineseTraditionalLanguage SupremeCourtFn "最高法院") | domainEnglishFormat.kif 56276-56276 | |
(termFormat EnglishLanguage SupremeCourtFn "supreme court") | domainEnglishFormat.kif 56275-56275 |
antecedent |
(=> (instance ?COURT (SupremeCourtFn ?COUNTRY)) (subOrganization ?COURT (JudiciaryFn ?COUNTRY))) |
Government.kif 2151-2153 |
consequent |
(=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY))) |
Government.kif 2155-2160 |