FullMember(full member) |
appearance as argument number 1 |
![]() |
(instance FullMember MemberStatus) | Government.kif 2427-2427 | Full member is an instance of member status |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage FullMember "正式会员") | domainEnglishFormat.kif 25189-25189 | |
(termFormat ChineseTraditionalLanguage FullMember "正式會員") | domainEnglishFormat.kif 25188-25188 | |
(termFormat EnglishLanguage FullMember "full member") | domainEnglishFormat.kif 25187-25187 |
antecedent |
![]() |
(=> (associateWithStatus ?AGENT FullMember ?GROUP) (member ?AGENT ?GROUP)) |
Government.kif 2411-2413 |
![]() |
![]() |