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 2182-2185 | |
(domain SupremeCourtFn 1 GeopoliticalArea) | Government.kif 2179-2179 | Il numero 1 argomenti di SupremeCourtFn è un istanza di AreaGeopolitica |
(instance SupremeCourtFn UnaryFunction) | Government.kif 2178-2178 | SupremeCourtFn è un' istanza di FunzioneUnaria |
(rangeSubclass SupremeCourtFn SupremeCourt) | Government.kif 2180-2180 | I valori resi da SupremeCourtFn sono sottoclassi diSupremeCourt |
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 56275-56275 | |
(termFormat ChineseTraditionalLanguage SupremeCourtFn "最高法院") | domainEnglishFormat.kif 56274-56274 | |
(termFormat EnglishLanguage SupremeCourtFn "supreme court") | domainEnglishFormat.kif 56273-56273 |
antecedent |
(=> (instance ?COURT (SupremeCourtFn ?COUNTRY)) (subOrganization ?COURT (JudiciaryFn ?COUNTRY))) |
Government.kif 2187-2189 |
consequent |
(=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY))) |
Government.kif 2191-2196 |
|