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 2136-2139
(domain SupremeCourtFn 1 GeopoliticalArea) Government.kif 2133-2133 The number 1 argument of supreme court is an instance of geopolitical area
(instance SupremeCourtFn UnaryFunction) Government.kif 2132-2132 Supreme court is an instance of unary function
(rangeSubclass SupremeCourtFn SupremeCourt) Government.kif 2134-2134 The values returned by supreme court are subclasses of supreme court

appearance as argument number 2
-------------------------


(format ChineseLanguage SupremeCourtFn "%1 的 supreme 法庭") domainEnglishFormat.kif 2411-2411
(format ChineseTraditionalLanguage SupremeCourtFn "%1 的 supreme 法庭") domainEnglishFormat.kif 2410-2410
(format EnglishLanguage SupremeCourtFn "the supreme court of %1") domainEnglishFormat.kif 2409-2409
(termFormat ChineseLanguage SupremeCourtFn "最高法院") domainEnglishFormat.kif 56221-56221 "最高法院" is the printable form of supreme court in ChineseLanguage
(termFormat ChineseTraditionalLanguage SupremeCourtFn "最高法院") domainEnglishFormat.kif 56220-56220 "最高法院" is the printable form of supreme court in ChineseTraditionalLanguage
(termFormat EnglishLanguage SupremeCourtFn "supreme court") domainEnglishFormat.kif 56219-56219 "supreme court" is the printable form of supreme court in english language

antecedent
-------------------------


(=>
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY))
    (subOrganization ?COURT
        (JudiciaryFn ?COUNTRY)))
Government.kif 2141-2143

consequent
-------------------------


(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))
Government.kif 2145-2150


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners