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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SupremeCourt

Sigma KEE - SupremeCourt
SupremeCourt(supreme court)
Supreme_Court, Supreme_Court_of_the_United_States, United_States_Supreme_Court

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 2173-2176
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ Old_supreme_court_c_3.jpg") pictureList.kif 5080-5080
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Supreme_Court.jpg") pictureList.kif 5079-5079
(externalImage SupremeCourt "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Supreme_Court_of_the_United_States.jpg") pictureList.kif 4943-4943
(subclass SupremeCourt JudicialOrganization) Government.kif 2171-2171 Supreme court is a subclass of judicial organization

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


(rangeSubclass SupremeCourtFn SupremeCourt) Government.kif 2180-2180 The values returned by supreme court are subclasses of supreme court
(termFormat ChineseLanguage SupremeCourt "最高法院") domainEnglishFormat.kif 56269-56269
(termFormat ChineseTraditionalLanguage SupremeCourt "最高法院") domainEnglishFormat.kif 56268-56268
(termFormat EnglishLanguage SupremeCourt "supreme court") domainEnglishFormat.kif 56267-56267

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


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

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


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


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