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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SupremeCourtJudge

Sigma KEE - SupremeCourtJudge
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 2212-2213
(instance SupremeCourtJudge Position) Government.kif 2209-2209 最高法院法官地位instance
(subAttribute SupremeCourtJudge JudgeAtLaw) Government.kif 2210-2210 最高法院法官法官subAttribute

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


(termFormat ChineseLanguage SupremeCourtJudge "最高法院法官") domainEnglishFormat.kif 56281-56281
(termFormat ChineseTraditionalLanguage SupremeCourtJudge "最高法院法官") domainEnglishFormat.kif 56280-56280
(termFormat EnglishLanguage SupremeCourtJudge "supreme court judge") domainEnglishFormat.kif 56279-56279

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


(=>
    (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