Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SupremeCourtFn
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 The number 1 argument of supreme court is an instance of geopolitical area
(instance SupremeCourtFn UnaryFunction) Government.kif 2178-2178 Supreme court is an instance of unary function
(rangeSubclass SupremeCourtFn SupremeCourt) Government.kif 2180-2180 The values returned by supreme court are subclasses of supreme court

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners