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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SupremeCourt
SupremeCourt(最高法院)

appearance as argument number 1
-------------------------


(documentation SupremeCourt EnglishLanguage "SupremeCourt is the subclass of JudicialOrganizations that are the ultimate judicial authority for the matters on which they rule. For example, the UnitedStatesSupremeCourt, or the InternationalCourtOfJustice (World Court).") Government.kif 2170-2173
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Old_supreme_court_c_3.jpg") pictureList.kif 5081-5081
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg") pictureList.kif 5080-5080
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg") pictureList.kif 4944-4944
(subclass SupremeCourt JudicialOrganization) Government.kif 2168-2168 最高法院司法组织subclass

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


(rangeSubclass SupremeCourtFn SupremeCourt) Government.kif 2177-2177 最高法院 的所得值 是 最高法院subclass
(termFormat ChineseLanguage SupremeCourt "最高法院") domainEnglishFormat.kif 56248-56248
(termFormat ChineseTraditionalLanguage SupremeCourt "最高法院") domainEnglishFormat.kif 56247-56247
(termFormat EnglishLanguage SupremeCourt "supreme court") domainEnglishFormat.kif 56246-56246

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


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

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


(=>
    (and
        (attribute ?PERSON SupremeCourtJudge)
        (employs ?ORG ?PERSON))
    (instance ?ORG SupremeCourt))
Government.kif 2212-2216


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