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


KB Term:  Term intersection
English Word: 

Sigma KEE - SupremeCourtJudge
SupremeCourtJudge(supreme court judge)

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


(instance SupremeCourtJudge Position) Government.kif 2170-2170 Supreme court judge is an instance of position
(subAttribute SupremeCourtJudge JudgeAtLaw) Government.kif 2171-2171 Supreme court judge is a subattribute of judge
(documentation SupremeCourtJudge EnglishLanguage "SupremeCourtJudge is the Position of a person who is a JudgeAtLaw on some SupremeCourt.") Government.kif 2173-2174 Supreme court judge is a subattribute of judge

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


(termFormat EnglishLanguage SupremeCourtJudge "supreme court judge") domainEnglishFormat.kif 56276-56276
(termFormat ChineseTraditionalLanguage SupremeCourtJudge "最高法院法官") domainEnglishFormat.kif 56277-56277
(termFormat ChineseLanguage SupremeCourtJudge "最高法院法官") domainEnglishFormat.kif 56278-56278

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


(=>
    (and
        (attribute ?PERSON SupremeCourtJudge)
        (employs ?ORG ?PERSON))
    (instance ?ORG SupremeCourt))		 Government.kif 2176-2180 If supreme court judge is an attribute of X and Y employs X, then Y is an instance of supreme court


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