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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 2142-2145
(domain SupremeCourtFn 1 GeopoliticalArea) Government.kif 2139-2139 SupremeCourtFn 的 1 数量 是 地缘政治区域instance
(instance SupremeCourtFn UnaryFunction) Government.kif 2138-2138 SupremeCourtFn一元函数instance
(rangeSubclass SupremeCourtFn SupremeCourt) Government.kif 2140-2140 SupremeCourtFn 的所得值 是 SupremeCourtsubclass

appearance as argument number 2

(format EnglishLanguage SupremeCourtFn "the supreme court of %1") domainEnglishFormat.kif 611-611
(termFormat EnglishLanguage SupremeCourtFn "supreme court") domainEnglishFormat.kif 9804-9804 termFormat EnglishLanguage, SupremeCourtFn and "supreme court"


    (instance ?COURT
        (SupremeCourtFn ?COUNTRY))
    (subOrganization ?COURT
        (JudiciaryFn ?COUNTRY)))
Government.kif 2147-2149


        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))
Government.kif 2151-2156

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

Show without tree

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