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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SupremeCourtJudge

appearance as argument number 1

(documentation SupremeCourtJudge EnglishLanguage "SupremeCourtJudge is the Position of a person who is a JudgeAtLaw on some SupremeCourt.") Government.kif 2166-2167
(instance SupremeCourtJudge Position) Government.kif 2163-2163
(subAttribute SupremeCourtJudge JudgeAtLaw) Government.kif 2164-2164

appearance as argument number 2

(termFormat ChineseLanguage SupremeCourtJudge "最高法院法官") domainEnglishFormat.kif 56205-56205
(termFormat ChineseTraditionalLanguage SupremeCourtJudge "最高法院法官") domainEnglishFormat.kif 56204-56204
(termFormat EnglishLanguage SupremeCourtJudge "supreme court judge") domainEnglishFormat.kif 56203-56203


        (attribute ?PERSON SupremeCourtJudge)
        (employs ?ORG ?PERSON))
    (instance ?ORG SupremeCourt))
Government.kif 2169-2173

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