FullMember(full member) |
appearance as argument number 1 |
(instance FullMember MemberStatus) | Government.kif 2430-2430 | Full member is an instance of member status |
appearance as argument number 2 |
(termFormat ChineseLanguage FullMember "正式会员") | domainEnglishFormat.kif 25178-25178 | |
(termFormat ChineseTraditionalLanguage FullMember "正式會員") | domainEnglishFormat.kif 25177-25177 | |
(termFormat EnglishLanguage FullMember "full member") | domainEnglishFormat.kif 25176-25176 |
antecedent |
(=> (associateWithStatus ?AGENT FullMember ?GROUP) (member ?AGENT ?GROUP)) |
Government.kif 2414-2416 |