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

Formal Language: 


KB Term:  Term intersection
English Word: 

  SupremeCourtFn

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 2143-2146
(domain SupremeCourtFn 1 GeopoliticalArea) Government.kif 2140-2140 最高法院 的 1 数量 是 地缘政治区域instance
(instance SupremeCourtFn UnaryFunction) Government.kif 2139-2139 最高法院一元函数instance
(rangeSubclass SupremeCourtFn SupremeCourt) Government.kif 2141-2141 最高法院 的所得值 是 最高法院subclass

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


(format ChineseLanguage SupremeCourtFn "%1 的 supreme 法庭") domainEnglishFormat.kif 2419-2419
(format ChineseTraditionalLanguage SupremeCourtFn "%1 的 supreme 法庭") domainEnglishFormat.kif 2418-2418
(format EnglishLanguage SupremeCourtFn "the supreme court of %1") domainEnglishFormat.kif 2417-2417
(termFormat ChineseLanguage SupremeCourtFn "最高法院") domainEnglishFormat.kif 56279-56279
(termFormat ChineseTraditionalLanguage SupremeCourtFn "最高法院") domainEnglishFormat.kif 56278-56278
(termFormat EnglishLanguage SupremeCourtFn "supreme court") domainEnglishFormat.kif 56277-56277

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


(=>
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY))
    (subOrganization ?COURT
        (JudiciaryFn ?COUNTRY)))
Government.kif 2148-2150

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


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


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 3.0 is open source software produced by Articulate Software and its partners