SupremeCourtJudge(supreme court judge) |
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 | Supreme court judge is an instance of position |
(subAttribute SupremeCourtJudge JudgeAtLaw) | Government.kif 2210-2210 | Supreme court judge is a subattribute of judge |
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 |
|